Title of article
Cluster-Based Partial-Order Reduction
Author/Authors
Twan Basten، نويسنده , , Dragan Bo?na?ki and Marc Geilen ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
38
From page
365
To page
402
Keywords
State explosion , formal verification , (LTL) model checking , Spin , partial-order reduction
Journal title
Automated Software Engineering
Serial Year
2004
Journal title
Automated Software Engineering
Record number
307136
Link To Document