Title of article :
Automated Predicate Abstraction for Real-Time Models
Author/Authors :
Bahareh Badban، نويسنده , , Stefan Leue، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Pages :
8
From page :
36
To page :
43
Journal title :
Electronic Proceedings in Theoretical Computer Science
Serial Year :
2009
Journal title :
Electronic Proceedings in Theoretical Computer Science
Record number :
679760
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=679760
بازگشت