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: 3.

Conference or workshop publication

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili On the Semantic Foundations of Probabilistic VERUS. Proceedings / Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, IN, USA , Juni 7-32 In: Proceedings / 1st Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, Ind., USA (1998) Trier [Conference or workshop publication]

Baier, Christel ; Clarke, Edmund M. The Algebraic Mu-Calculus and MTBDDs. Proceedings / 5th Workshop on Logic, Language, Information and Computation. WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 27-38 In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 (1998) Sao Paulo [Conference or workshop publication]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili ; Kwiatkowska, Marta ; Ryan, Mark Symbolic Model Checking for Probabilistic Processes. Degano, Pierpaolo Lecture Notes in Computer Science 1256 430-440 In: Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings (1997) Berlin [u.a.] [Conference or workshop publication]

This list was created automatically on Mon Dec 6 05:00:54 2021 CET