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

Zitation

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

Baier, Christel (1996) Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. Alur, Rajeev Computer aided verification : 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings Berlin [u.a.] 38-49 [Buchkapitel]

Diese Liste wurde am Sat Nov 23 01:13:49 2024 CET automatisch erstellt.