|
[MM97]
C. Morgan and A. McIver.
A probabilistic temporal calculus based on expectations.
In L. Groves and S. Reeves (editors), Proc. Formal Methods Pacific '97, Springer.
1997.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|