Up to PSG's main page.
Abstraction, refinement and proof for probabilistic systems. A tutorial and reference guide to the principal publications. Springer Verlag Monographs in Computer Science Published January 2005 (sample pages) |
![]() |
![]() |
Invited book chapters:
Presentations:
The publications are grouped by themes. Within each theme the order is most-to-least recent:
Within topic the articles are most-to least recent; hovering will reveal their titles.
Return to the top.