Title of article
State explosion in almost-sure probabilistic reachability
Author/Authors
François Laroussinie، نويسنده , , Jeremy Sproston، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
6
From page
236
To page
241
Keywords
Probabilistic systems , computational complexity , model checking , formal methods , Timed automata
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130434
Link To Document