Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Symbolic Minimisation of Stochastic Process Algebras
Titel Sammlung:
Formale Beschreibungstechniken für verteilte Systeme
Herausgeber Sammlung:
Spies, Katharina; Schätz, Bernhard
Konferenztitel:
GI/ITG-Fachtagung (9., 1999, München)
Konferenztitel:
9. GI/ITG Fachgespräch
Tagungsort:
München
Verlag:
Herbert Utz Verlag
Jahr:
1999
Seiten von - bis:
73-82
Sprache:
Englisch
ISBN:
3-89675-918-3 ; 978-3-89675-918-4
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