Bisimulation Through Probabilistic Testing (Preliminary Report)

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

Original languageEnglish
Title of host publicationProceedings of the 16th Annual ACM Symposium on Principles of Programming Languages
Publisher<Forlag uden navn>
Publication date1989
Pages344-352
ISBN (Print)0-89791-294-2
Publication statusPublished - 1989
EventBisimulation Through Probabilistic Testing (Preliminary Report) -
Duration: 19 May 2010 → …

Conference

ConferenceBisimulation Through Probabilistic Testing (Preliminary Report)
Period19/05/2010 → …

Cite this

Larsen, K. G., & Skou, A. (1989). Bisimulation Through Probabilistic Testing (Preliminary Report). In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages (pp. 344-352). <Forlag uden navn>.