Partial-order reduction techniques for real-time model checking

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

Research output: Contribution to journalArticleAcademicpeer-review

23 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Partial-order reduction techniques for real-time model checking'. Together they form a unique fingerprint.

Computer Science