Title of article :
Timed automata and additive clock constraints
Author/Authors :
Béatrice Bérard، نويسنده , , Catherine Dufourd، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Pages :
7
From page :
1
To page :
7
Keywords :
Timed automata , Decidability of emptiness , real-time systems
Journal title :
Information Processing Letters
Serial Year :
2000
Journal title :
Information Processing Letters
Record number :
129236
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129236
بازگشت