by Alexandru Mereacre
Reference:
Verification of continuous space stochastic systems (Alexandru Mereacre), Publikationsserver der RWTH Aachen University, 2012. (Zsfassung in engl. und dt. Sprache; Aachen, Techn. Hochsch., Diss., 2012)
Bibtex Entry:
@PHDTHESIS{Mereacre:82778,
author = {Mereacre, Alexandru},
othercontributors = {Katoen, Joost-Pieter},
title = {{V}erification of continuous space stochastic systems},
address = {Aachen},
publisher = {Publikationsserver der RWTH Aachen University},
pages = {X, 125 S. : graph. Darst.},
year = {2012},
note = {Zsfassung in engl. und dt. Sprache; Aachen, Techn.
Hochsch., Diss., 2012},
keywords = {Markov-Entscheidungsprozess (SWD) / Ergodische Kette (SWD)
/ Unendlicher Zustandsraum (SWD) / Model Checking (SWD)},
cin = {120000 / 121420},
ddc = {Informatik},
cid = {$I:(DE-82)120000_20140620$ / $I:(DE-82)121420_20140620$},
typ = {PUB:(DE-HGF)11},
urn = {urn:nbn:de:hbz:82-opus-42041},
url = {http://publications.rwth-aachen.de/record/82778},
}