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

Zitation

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

2006

Wolf, Verena ; Fecher, Harald ; Leucker, Martin Don't Know in Probabilistic Systems. Valmari, Antti Lecture Notes in Computer Science 3925 71-88 In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Diese Liste wurde am Fri Mar 29 01:12:14 2024 CET automatisch erstellt.