Changes between Version 1 and Version 2 of Bibliography


Ignore:
Timestamp:
Jun 17, 2008, 6:04:35 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Bibliography

    v1 v2  
     1[[TracNav]]
    12
    23== MRMC Bibliography ==
     4
     5Here you can find all the publications on MRMC Tool and also other related publications:
     6
     7=== Contents ===
     8 * [wiki: Publications on MRMC]
     9 * [wiki: Related publications]
     10
     11=== Publications on MRMC ===
     12
     13==== 2008 ====
     14 * Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. [attachment:Zapreev_PhD08.pdf PDF] [attachment:Zapreev_PhD08.bib BibTex]