Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Bisimulation Algorithms for Stochastic Process Algebras and their BDD-based Implementation
Herausgeber Sammlung:
Katoen, Joost-Pieter
Titel Konferenzpublikation:
Formal Methods for Real-Time and Probabilistic Systems
Untertitel Konferenzpublikation:
5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
1601
Konferenztitel:
International Conference Algebraic Methodology and Software Technology (5., 1999, Bamberg)
Konferenztitel:
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software
Tagungsort:
Bamberg
Jahr der Konferenz:
1999
Datum Beginn der Konferenz:
26.05.1999
Datum Ende der Konferenz:
28.05.1999
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
1999
Seiten von - bis:
244-264
Sprache:
Englisch
ISBN:
978-3-540-66010-1 ; 978-3-540-48778-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