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