Title of article
Demonic, angelic and unbounded probabilistic choices in sequential programs
Author/Authors
A.K. McIver and C. Morgan ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
26
From page
329
To page
354
Journal title
acta Informatica
Serial Year
2001
Journal title
acta Informatica
Record number
287704
Link To Document