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 Sun May 19 03:08:27 2024 CEST automatisch erstellt.