Temporal verification of reactive systems : safety
MANNA, Zohar and A. PNUELI. Temporal verification of reactive systems : safety. New York: Springer, 1995, xviii, 512. ISBN 0387944591. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | Temporal verification of reactive systems : safety |
Authors | MANNA, Zohar and A. PNUELI. |
Edition | New York, xviii, 512, 1995. |
Publisher | Springer |
Other information | |
---|---|
ISBN | 0387944591 |
Changed by | The record has been imported from the library system. Changed: 8/8/2022 12:24. |
PrintDisplayed: 5/10/2024 00:23