by Daniel Klink
Reference:
Three-valued abstraction for stochastic systems (Daniel Klink), Hut, 2010. (Zsfassung in engl. und dt. Sprache; Aachen, Techn. Hochsch., Diss., 2010)
Bibtex Entry:
@PHDTHESIS{Klink:51706, author = {Klink, Daniel}, othercontributors = {Katoen, Joost-Pieter}, title = {{T}hree-valued abstraction for stochastic systems}, address = {München}, publisher = {Hut}, isbn = {978-3-86853-408-5}, pages = {VIII, 223 S. : graph. Darst.}, year = {2010}, note = {Zsfassung in engl. und dt. Sprache; Aachen, Techn. Hochsch., Diss., 2010}, keywords = {Abstraktion (SWD) / Model Checking (SWD) / Markov-Kette mit stetiger Zeit (SWD) / Verteiltes System (SWD) / Intervallwahrscheinlichkeit (SWD) / Prioritätswarteschlange (SWD) / Systembiologie (SWD) / Erlang-Verteilung (SWD)}, cin = {121310 / 120000}, ddc = {Informatik}, cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$}, shelfmark = {ST 130}, typ = {PUB:(DE-HGF)11}, urn = {urn:nbn:de:hbz:82-opus-32124}, url = {http://publications.rwth-aachen.de/record/51706}, }