Title:
Temporal verification of reactive systems : safety
Personal Author:
Publication Information:
New York : Springer-Verlag, 1995
Physical Description:
xviii, 512 p. ; 25 cm.
ISBN:
9780387944593
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010190506 | QA76.76.V47 M36 1995 | Open Access Book | Book | Searching... |