Partial order reduction: linear and branching temporal logics and process algebras

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

Original languageAmerican English
Title of host publicationDIMACS workshop on Partial order methods in verification
EditorsDoron A. Peled, Vaughan R. Prat, Gerard J. Holzmann
PublisherAMS Press
StatePublished - 1996

Bibliographical note

Place of conference:Princeton University, Princeton, NJ, USA

Cite this