Title of article
Temporal Proof Methodologies for Timed Transition-Systems
Author/Authors
Henzinger T. A.، نويسنده , , Manna Z.، نويسنده , , Pnueli A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
65
From page
273
To page
337
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261412
Link To Document