Temporal Verification of Reactive Systems: Safety
Year: 1995
Type: book
Source: Medical Entomology and Zoology
Authors: Zohar Manna, Amir Pnueli
Institutions: Stanford University, Weizmann Institute of Science
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1540180001