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: 2000 | 1999
Anzahl der Einträge: 3.

2000

Baier, Christel ; Engelen, Bettina ; Majster-Cederbaum, Mila (2000) Deciding bisimilarity and bimilarity for probabilistic processes. Journal of Computer and System Sciences San Diego, Calif. 60 1 187-231 [Zeitschriftenartikel]

1999

Baier, Christel ; Engelen, Bettina ; Roggenbach, Markus (1999) Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach. Open Access None [Arbeitspapier]
[img]
Vorschau

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 Thu Nov 21 01:48:07 2024 CET automatisch erstellt.