Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models
Collection editors:
Halbwachs, Nicolas; Peled, Doron
Title of conference publication:
Computer Aided Verification
Subtitle of conference publication:
11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
1633
Conference title:
International Conference on Computer Aided Verification (11., 1999, Trento)
Venue:
Trento
Year of conference:
1999
Date of conference beginning:
06.07.1999
Date of conference ending:
10.07.1999
Publisher:
Springer
Year:
1999
Pages from - to:
487-490
Language:
Englisch
ISBN:
978-3-540-66202-0 ; 978-3-540-48683-1
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX