|
[dA98b]
L. de Alfaro.
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems.
In Proc. 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98), pages 454--465.
1998.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|