مرکز منطقه ای اطلاع رساني علوم و فناوري - ε-transitions in Concurrent Timed Automata

Title of article :

ε-transitions in Concurrent Timed Automata

Author/Authors :

Ruggero Lanotte، نويسنده , , Andrea Maggiolo-Schettini، نويسنده , , Simone Tini، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

real-time systems , ?-transitions , Concurrent Timed Automata , Polynomial closure

Journal title :

Information Processing Letters

Serial Year :

2004

Journal title :

Information Processing Letters

Record number :

129827

Link To Document :