Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
Collection editors:
Nielsen, Mogens; Kučera, Antonín; Miltersen, Peter Bro; Palamidessi, Catuscia; Tůma, Petr; Valencia, Frank
Title of conference publication:
SOFSEM 2009: Theory and Practice of Computer Science
Subtitle of conference publication:
35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
5404
Conference title:
International Conference on Current Trends in Theory and Practice of Computer Science (35., 2009, Špindlerův Mlýn)
Venue:
Špindlerův Mlýn, Czech Republic
Year of conference:
2009
Date of conference beginning:
24.01.2009
Date of conference ending:
30.01.2009
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2009
Pages from - to:
485-496
Language:
Englisch
ISBN:
978-3-540-95890-1 ; 978-3-540-95891-8
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