Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
Herausgeber Sammlung:
Nielsen, Mogens; Kučera, Antonín; Miltersen, Peter Bro; Palamidessi, Catuscia; Tůma, Petr; Valencia, Frank
Titel Konferenzpublikation:
SOFSEM 2009: Theory and Practice of Computer Science
Untertitel Konferenzpublikation:
35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
5404
Konferenztitel:
International Conference on Current Trends in Theory and Practice of Computer Science (35., 2009, Špindlerův Mlýn)
Tagungsort:
Špindlerův Mlýn, Czech Republic
Jahr der Konferenz:
2009
Datum Beginn der Konferenz:
24.01.2009
Datum Ende der Konferenz:
30.01.2009
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2009
Seiten von - bis:
485-496
Sprache:
Englisch
ISBN:
978-3-540-95890-1 ; 978-3-540-95891-8
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