Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Research output: Book/ReportPh.D. thesis

51 Downloads (Pure)
Original languageEnglish
PublisherAalborg Universitetsforlag
Number of pages264
ISBN (Electronic)978-87-7210-349-5
Publication statusPublished - 2018
SeriesPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

Bibliographical note

PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University
Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University

Cite this