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

Zitation

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

1996

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 Fri Apr 19 01:18:25 2024 CEST automatisch erstellt.