Title of article
A note on the verification of automata specifications of probabilistic real-time systems
Author/Authors
Arnaldo V. Moura، نويسنده , , Guilherme A. Pinto، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2002
Pages
6
From page
223
To page
228
Keywords
real-time systems , Probabilistic verification , nondeterminism , Timed automata
Journal title
Information Processing Letters
Serial Year
2002
Journal title
Information Processing Letters
Record number
129517
Link To Document