Verification of continuous space stochastic systems

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

Bookmark the permalink.