Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Bisimulation Algorithms for Stochastic Process Algebras and their BDD-based Implementation
Collection editors:
Katoen, Joost-Pieter
Title of conference publication:
Formal Methods for Real-Time and Probabilistic Systems
Subtitle of conference publication:
5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
1601
Conference title:
International Conference Algebraic Methodology and Software Technology (5., 1999, Bamberg)
Conference title:
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software
Venue:
Bamberg
Year of conference:
1999
Date of conference beginning:
26.05.1999
Date of conference ending:
28.05.1999
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
1999
Pages from - to:
244-264
Language:
Englisch
ISBN:
978-3-540-66010-1 ; 978-3-540-48778-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