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 ; Katoen, Joost-Pieter ; Wolf, Verena Comparative Branching Time Semantics for Markov Chains. Amadio, Roberto M. Lecture Notes in Computer Science 2761 492-507 In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings (2003) Berlin [u.a.] [Conference or workshop publication]

This list was created automatically on Sun May 9 04:49:25 2021 CEST