Title of article :
A quadratic-time DBM-based successor algorithm for checking timed automata
Author/Authors :
Jianhua Zhao، نويسنده , , Xuandong Li، نويسنده , , Guoliang Zheng، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2005
Keywords :
Timed automaton , Difference bound matrix , formal methods , model checking
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
