Number of items: 1. Conference or workshop publication
|
Majster-Cederbaum, Mila ; Zhan, Naijun ; Fecher, Harald
Action Refinement from a Logical Point of View.
Zuck, Lenore D.
Lecture Notes in Computer Science
2575
253-267
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings
(2003)
Berlin [u.a.]
[Conference or workshop publication]
|
|
This list was created automatically on Sat Apr 18 06:26:16 2026 CEST |
