Composition and Refinement of Probabilistic Real-Time Systems.

Zhiming Liu, Jens Nordahl, Erling Vagn Srensen

Browse the full SAFECOMP paper archive.