Return to search

Model checking compositional Markov systems /

Univ., Diss.--Saarbrücken, 2007.

  1. http://d-nb.info/988568969/04
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/255069470
Date January 2008
CreatorsJohr, Sven.
PublisherAachen : Shaker,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0023 seconds