Partial-order reduction techniques for real-time model checking

D.R. Dams, R.T. Gerth, B.T. Knaack, R. Kuiper

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

17 Citations (Scopus)
Original languageEnglish
Title of host publicationProc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998
EditorsJ.F. Groote, B. Luttik, J. Wamel, van
Place of PublicationAmsterdam
PublisherStichting Mathematisch Centrum
Pages157-169
ISBN (Print)90-6196-480-6
Publication statusPublished - 1998

Cite this