Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-based Implementation

H. Hermanns, M. Siegle

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of Formal Methods for Real-Time and Probabilistic Systems (ARTS'99)
Place of Publication	Bamberg, Germany
Pages	244-264
Number of pages	21
Publication status	Published - 14 Feb 1999

Keywords

@inproceedings{6a7fa9c3deee470ea981a14f1151ca0d,

title = "Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-based Implementation",

keywords = "METIS-119600",

author = "H. Hermanns and M. Siegle",

year = "1999",

month = feb,

day = "14",

language = "Undefined",

isbn = "3 5406 6010 0",

pages = "244--264",

booktitle = "Proceedings of Formal Methods for Real-Time and Probabilistic Systems (ARTS'99)",

}