Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Computing Bisimulations for Stochastic Process Algebras using Symbolic Techniques
Title of conference publication:
Sixth International Workshop on Process Algebra and Performance Modelling
Conference title:
International Workshop on Process Algebra and Performance Modelling (6., 1998, Nizza)
Venue:
Nice
Year of conference:
1998
Year:
1998
Pages from - to:
103-118
Language:
Englisch
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