مرکز منطقه ای اطلاع رساني علوم و فناوري - Folk theorems on the determinization and minimization of timed automata

Title of article :

Folk theorems on the determinization and minimization of timed automata

Author/Authors :

Stavros Tripakis، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

222

To page :

226

Keywords :

formal methods , Determinization , Timed automata , Decidability , Specification languages

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130300

Link To Document :