Title of article
Improved undecidability results on weighted timed automata
Author/Authors
Patricia Bouyer، نويسنده , , Thomas Brihaye، نويسنده , , Nicolas Markey، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2006
Pages
7
From page
188
To page
194
Keywords
real-time systems , Weighted timed automata , Weighted timed games
Journal title
Information Processing Letters
Serial Year
2006
Journal title
Information Processing Letters
Record number
130250
Link To Document