Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Technique and Tool for Symbolic Representation and Manipulation of Stochastic Transition Systems
Title of conference publication:
IEEE International Computer Performance and Dependability Symposium, 1998
Subtitle of conference publication:
IPDS '98. Proceedings
Conference title:
IEEE International Computer Performance and Dependability Symposium (1998, Durham, NC)
Venue:
Durham, NC
Year of conference:
1998
Date of conference beginning:
09.09.1998
Year:
1998
Pages from - to:
272
Language:
Englisch
ISBN:
0-8186-8679-0 ; 0-8186-8679-0
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