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

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Anzahl der Einträge: 1.

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]

Diese Liste wurde am Wed Dec 11 03:30:12 2024 CET automatisch erstellt.