@phdthesis{fd83309159bc4f4eb861b264f2d6dffc,
title = "Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects",
keywords = "stokastiske systemer, semi-Markov-k{\ae}der, simulation, bisimulation, logik, model checking, realtidssystemer",
author = "Pedersen, {Mathias Ruggaard}",
note = "PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University",
year = "2018",
doi = "10.54337/aau300041621",
language = "English",
series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",
}