iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/sttt/HermannsKMS03.rdf
Holger Hermanns et al.: A tool for model-checking Markov chains. (2003) journals/sttt/HermannsKMS03 10.1007/S100090100072 Q57801972 A tool for model-checking Markov chains. 4 Holger Hermanns 1 Joost-Pieter Katoen 2 Joachim Meyer-Kayser 3 Markus Siegle 4 153-172 Int. J. Softw. Tools Technol. Transf. Int. J. Softw. Tools Technol. Transf. 4 2 2003 provenance information for RDF data of dblp record 'journals/sttt/HermannsKMS03' 2023-09-30T10:27:14+0200