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}, }