Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

Baier, Christel ; Hermanns, Holger Weak Bisimulation for Fully Probabilistic Processes. Grumberg, Orna Lecture Notes in Computer Science 1254 119-130 In: Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997; proceedings (1997) Berlin [u.a.] [Conference or workshop publication]

This list was created automatically on Sun Nov 28 06:38:56 2021 CET