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: 1998
Anzahl der Einträge: 1.

1998

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 Apr 2 03:58:36 2025 CEST automatisch erstellt.