Abstraction-based verification of distributed systems

Henrik Ejersbo Jensen

Research output: Book/ReportPh.D. thesis

Original languageEnglish
Place of PublicationAalborg
PublisherAalborg Universitetsforlag
Publication statusPublished - 1999
SeriesR : Department of Computer Science, Aalborg University
Number99-5005
ISSN1397-8640

Cite this