Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Technique and Tool for Symbolic Representation and Manipulation of Stochastic Transition Systems
Titel Konferenzpublikation:
IEEE International Computer Performance and Dependability Symposium, 1998
Untertitel Konferenzpublikation:
IPDS '98. Proceedings
Konferenztitel:
IEEE International Computer Performance and Dependability Symposium (1998, Durham, NC)
Tagungsort:
Durham, NC
Jahr der Konferenz:
1998
Datum Beginn der Konferenz:
09.09.1998
Jahr:
1998
Seiten von - bis:
272
Sprache:
Englisch
ISBN:
0-8186-8679-0 ; 0-8186-8679-0
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