Title of article
Specification in CTL+Past for Verification in CTL
Author/Authors
F. Laroussinie، نويسنده , , Ph. Schnoebelen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
28
From page
236
To page
263
Journal title
Information and Computation
Serial Year
1999
Journal title
Information and Computation
Record number
261879
Link To Document