Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
A tool for model checking Markov chains
Journal:
International Journal on Software Tools for Technology Transfer (STTT)
Volume:
4
Issue:
2
Year:
2003
Pages from - to:
153-172
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Nein / No
BibTeX