Title of article
Symbolic model checking for probabilistic timed automata
Author/Authors
Marta Kwiatkowska، نويسنده , , Gethin Norman، نويسنده , , Jeremy Sproston، نويسنده , , Fuzhi Wang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
51
From page
1027
To page
1077
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262416
Link To Document