Title of article
Polytime model checking for timed probabilistic computation tree logic
Author/Authors
Danièle Beauquier and Anatol Slissenko ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
20
From page
645
To page
664
Journal title
acta Informatica
Serial Year
1998
Journal title
acta Informatica
Record number
287642
Link To Document