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.

Konferenzveröffentlichung

Baier, Christel ; Engelen, Bettina Establishing qualitative properties for probabilistic lossy channel systems: an Algorithmic Approach. Katoen, Pieter Lecture Notes in Computer Science 1601 34-52 In: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany; proceedings (1999) Berlin [u.a.] [Konferenzveröffentlichung]

Diese Liste wurde am Fri Mar 29 01:13:56 2024 CET automatisch erstellt.