Three-valued abstraction for stochastic systems

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