Testing and Verification of Probabilistic Processes

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Original languageEnglish
Title of host publicationNSDCS'92
EditorsHeegaard, Poul : Helvik, Bjarne (eds.)
PublisherNTH
Publication date1992
Pages235-250
Publication statusPublished - 1992
EventNSDCS'92, 1992 - Trondheim
Duration: 19 May 2010 → …

Conference

ConferenceNSDCS'92, 1992
CityTrondheim
Period19/05/2010 → …

Cite this

Larsen, K. G., & Skou, A. (1992). Testing and Verification of Probabilistic Processes. In Heegaard, Poul : Helvik, Bjarne (eds.) (Ed.), NSDCS'92 (pp. 235-250). NTH.