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: 24/5/2024 13:43