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 Tue Jan 21 03:14:01 2025 CET automatisch erstellt.