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 Feb 4 04:42:30 2023 CET |
