Title of article
Verification of clocked and hybrid systems
Author/Authors
Yonit Kesten، نويسنده , , Zohar Manna and Amir Pnueli ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
76
From page
837
To page
912
Journal title
acta Informatica
Serial Year
2000
Journal title
acta Informatica
Record number
287689
Link To Document