Temporal verification of reactive systems : safety

Select an Action

Title:

Personal Author:

Publication Information:

New York : Springer-Verlag, 1995

Physical Description:

xviii, 512 p. ; 25 cm.

ISBN:

9780387944593

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010190506	QA76.76.V47 M36 1995	Open Access Book	Book	Searching... Unknown