مرکز منطقه ای اطلاع رساني علوم و فناوري - Symbolic model checking for probabilistic timed automata

Title of article :

Symbolic model checking for probabilistic timed automata

Author/Authors :

Marta Kwiatkowska، نويسنده , , Gethin Norman، نويسنده , , Jeremy Sproston، نويسنده , , Fuzhi Wang، نويسنده ,

Issue Information :

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

Pages :

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 :