Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
A tool for model checking Markov chains
Zeitschrift:
International Journal on Software Tools for Technology Transfer (STTT)
Jahrgang:
4
Heftnummer:
2
Jahr:
2003
Seiten von - bis:
153-172
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX