Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Springe zu: B | F | M
Anzahl der Einträge: 6.

B

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]

F

Fecher, Harald (2004) A Completed Hierarchy of True Concurrent Equivalences. Information Processing Letters Amsterdam [u.a.] 89 5 261-265 [Zeitschriftenartikel]

M

Minnameier, Christoph (2007) Local and Global Deadlock-Detection in Component-Based Systems are NP-hard. Information Processing Letters Amsterdam 103 3 105-111 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Bundle Event Structures : a Revised Cpo Approach. Information Processing Letters Amsterdam [u.a.] 83 3 7-12 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) Transition systems from event structures revisited. Information Processing Letters Amsterdam [u.a.] 119-124 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Denotational Linear Time Semantics and Sequential Composition. Information Processing Letters Amsterdam [u.a.] 59 3 135-143 [Zeitschriftenartikel]

Diese Liste wurde am Thu Nov 21 03:32:59 2024 CET automatisch erstellt.