Compositional Verification of Probabilistic Processes

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

64 Citations (Scopus)
Original languageEnglish
Title of host publicationCONCUR'92
EditorsCleaveland, W.R. (ed.)
Publication date1992
Publication statusPublished - 1992

Cite this