Testing Probabilistic and Nondeterministic Processes

Wang Yi, Kim Guldstrand Larsen

Research output: Book/Report › Book › Research

Original languageEnglish
PublisherNorth-Holland
Publication statusPublished - 1992

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this