Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Symbolic Minimisation of Stochastic Process Algebras
Collection title:
Formale Beschreibungstechniken für verteilte Systeme
Collection editors:
Spies, Katharina; Schätz, Bernhard
Conference title:
GI/ITG-Fachtagung (9., 1999, München)
Conference title:
9. GI/ITG Fachgespräch
Venue:
München
Publisher:
Herbert Utz Verlag
Year:
1999
Pages from - to:
73-82
Language:
Englisch
ISBN:
3-89675-918-3 ; 978-3-89675-918-4
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