Title of article :
Improved undecidability results on weighted timed automata
Author/Authors :
Patricia Bouyer، نويسنده , , Thomas Brihaye، نويسنده , , Nicolas Markey، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2006
Keywords :
real-time systems , Weighted timed automata , Weighted timed games
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
