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
53
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