M.I.A. Stoelinga Alea jacta est
verification of probabilistic, real-time and parametric systems
Gedrukt boek
verification of probabilistic, real-time and parametric systems
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek