Anzahl der Einträge: 3. Konferenzveröffentlichung
|
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
[Konferenzveröffentlichung]
|
|
|
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
[Konferenzveröffentlichung]
|
|
|
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.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu Nov 21 01:41:31 2024 CET automatisch erstellt. |
