Number of items: 1.
Conference or workshop publication
|
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.]
[Conference or workshop publication]
|
|
This list was created automatically on Thu Jan 15 06:19:54 2026 CET
