Accelerating the world's research. Multi-valued model checking via classical model checking Marsha Chechik CONCUR 2003-Concurrency Theory Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers Open systems in reactive environments: Control and synthesis Moshe Vardi Functional concurrent semantics for Petri nets with read and inhibitor arcs Paolo Baldan Weak bisimulation is sound and complete for PCTL* Prakash Panangaden Download a PDF Pack of the best related papers 