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 Nov 21 01:39:31 2024 CET automatisch erstellt.
