Title of article
Symbolic Model Checking for Real-Time Systems
Author/Authors
Henzinger T. A.، نويسنده , , Nicollin X.، نويسنده , , Sifakis J.، نويسنده , , Yovine S.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
52
From page
193
To page
244
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261398
Link To Document