Ph.D. Mathias Ruggaard Pedersen
En del af serien Det Tekniske Fakultet for IT og Design, Aalborg Universitet
Titel: Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Fakultet: Det Tekniske Fakultet for IT og Design
Institut: Institut for Datalogi
-
Titel: Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Fakultet: Det Tekniske Fakultet for IT og Design
Institut: Institut for Datalogi
-
Antal sider
—
isbn
978-87-7210-349-5
issn
2446-1628
Udgave
PHD
Udgivelsesår
2018
-
Filnavn Download