Return to search

Model checking compositional Markov systems

Zugl.: Saarbrücken, Univ., Diss., 2007

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

Page generated in 0.0015 seconds