Title of article
On the Complexity of Verifying Concurrent Transition Systems
Author/Authors
David Harel، نويسنده , , Orna Kupferman، نويسنده , , Moshe Y. Vardi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
19
From page
143
To page
161
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262036
Link To Document