Personen - MADOC

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung

Anzahl der Einträge: 7.

Baier, Christel ; Kwiatkowska, Marta (2000) Domain Equations for Probabilistic Processes. Mathematical Structures in Computer Science Cambridge 10 6 665-717 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (2000) On Topological Hierarchies of Temporal Properties. Fundamenta informaticae Amsterdam 41 3 259-294 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta ; Norman, Gethin Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains. Baier, Christel Electronic Notes in Theoretical Computer Science : ENTCS 22 In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification : proceedings (1999) Amsterdam [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Kwiatkowska, Marta (1998) On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Information Processing Letters Amsterdam [u.a.] 66 2 71-79 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (1998) Model checking for a probabilistic branching time logic with fairness. Distributed Computing Berlin [u.a.] 11 3 125-155 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta Automatic Verification of Liveness Properties of Randomized Systems. ACM Press 295 In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing (1997) New York, NY (Santa Barbara, Calif.) [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:25:26 2024 CET automatisch erstellt.

Zitation