Formal Verification of a Partial Order Reduction Technique for Model Checking

Authors
C.T.Chou,D.Peled
Citation
C.t.chou,d.peled, Formal Verification of a Partial Order Reduction Technique for Model Checking, Journal of automated reasoning , 23(3/4), 1999, pp. 265-298
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
3/4
Year of publication
1999
Pages
265 - 298
Database
ACNP
SICI code