Advanced Search
Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0

Citation

Order by: Document Type | Year of publication | No order
Skip to: Article | Conference or workshop publication | Working paper
Number of items: 3.

Article

Baier, Christel ; Engelen, Bettina ; Majster-Cederbaum, Mila (2000) Deciding bisimilarity and bimilarity for probabilistic processes. Journal of Computer and System Sciences San Diego, Calif. 60 1 187-231 [Article]

Conference or workshop publication

Baier, Christel ; Engelen, Bettina Establishing qualitative properties for probabilistic lossy channel systems: an Algorithmic Approach. Katoen, Pieter Lecture Notes in Computer Science 1601 34-52 In: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany; proceedings (1999) Berlin [u.a.] [Conference or workshop publication]

Working paper

Baier, Christel ; Engelen, Bettina ; Roggenbach, Markus (1999) Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach. Open Access None [Working paper]
[img]
Preview

This list was created automatically on Sun Jun 14 05:11:22 2026 CEST