Title of article
A Partial Order Approach to Branching Time Logic Model Checking
Author/Authors
Rob Gerth، نويسنده , , Ruurd Kuiper، نويسنده , , Doron Peled، نويسنده , , Wojciech Penczek، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
21
From page
132
To page
152
Journal title
Information and Computation
Serial Year
1999
Journal title
Information and Computation
Record number
261828
Link To Document