Title of article
On model-checking timed automata with stopwatch observers
Author/Authors
Thomas Brihaye، نويسنده , , Veronique Bruyère، نويسنده , , Jean-François Raskin، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
26
From page
408
To page
433
Keywords
Bisimulations , Model-checking , Weighted timed automata
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262335
Link To Document