Modular Model Checking
Year: 1998
Type: conference-paper
Authors: Orna Kupferman, Moshe Y. Vardi
Institutions: University of California, Berkeley, Rice University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1585262231