Abstraction-based verification of distributed systems

Henrik Ejersbo Jensen

Publikation: Ph.d.-afhandling

OriginalsprogEngelsk
UdgivelsesstedAalborg
Udgiver
StatusUdgivet - 1999

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater