![](/img/cover-not-exists.png)
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-GarmhausenVolume:
22
Year:
1999
Language:
english
Pages:
26
DOI:
10.1016/s1571-0661(05)80594-8
File:
PDF, 2.06 MB
english, 1999