مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Liveness in Timed and Untimed Systems

Author/Authors :

Roberto Segala، نويسنده , , Rainer Gawlick، نويسنده , , J?rgen S?gaard-Andersen، نويسنده , , Nancy Lynch، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

119

To page :

171

Keywords :

Liveness , I O automata , Automata , recep-tiveness , formal verification , simulation techniques. , Timed automata

Journal title :

Information and Computation

Serial Year :

1998

Journal title :

Information and Computation

Record number :

261762

Link To Document :