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

Zitation

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

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]

Diese Liste wurde am Mon Apr 29 03:09:16 2024 CEST automatisch erstellt.