Testing Probabilistic and Nondeterministic Processes

Wang Yi, Kim Guldstrand Larsen

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

OriginalsprogEngelsk
ForlagNorth-Holland
StatusUdgivet - 1992

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater