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

Majster-Cederbaum, Mila ; Zhan, Naijun Deriving non-determinism from conjunction and disjunction. Wang, Farn Lecture Notes in Computer Science 3731 351-365 In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings (2005) Berlin [u.a.] [Konferenzveröffentlichung]

Diese Liste wurde am Thu Mar 28 01:21:13 2024 CET automatisch erstellt.