On the Complexity of Branching Modular Model Checking (Extended Abstract).

Orna Kupferman, Moshe Y. Vardi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

27 Scopus citations
Original languageEnglish
Title of host publication CONCUR '95 Concurrency Theory
Subtitle of host publication6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
EditorsInsup Lee, Scott A. Smolka
Pages408-422
Number of pages15
DOIs
StatePublished - 1995
Event6th International Conference on Concurrency Theory, CONCUR 1995 - Philadelphia, United States
Duration: 21 Aug 199524 Aug 1995

Publication series

NameLecture Notes in Computer Science
Volume962
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Conference on Concurrency Theory, CONCUR 1995
Country/TerritoryUnited States
CityPhiladelphia
Period21/08/9524/08/95

Cite this