Title of article :
Specification and validation of dynamic systems using temporal logic
Author/Authors :
Cho، نويسنده , , S.M.; Kim، نويسنده , , H.H.; Cha، نويسنده , , S.D.; Bae، نويسنده , , D.H.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
6
From page :
135
To page :
140
Journal title :
IEE Proceedings Software
Serial Year :
2001
Journal title :
IEE Proceedings Software
Record number :
351906
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=351906
