Title of article :
About the expressive power of CTL combinators
Author/Authors :
F. Laroussinie، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1995
Pages :
3
From page :
343
To page :
345
Keywords :
Temporal logic , CTL , Specification languages , Program specification
Journal title :
Information Processing Letters
Serial Year :
1995
Journal title :
Information Processing Letters
Record number :
128284
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=128284
بازگشت