Consistent Integration for Sequential Abstract State Machines

Marianna Nicolosi Asmundo, Elvinia Riccobene. Consistent Integration for Sequential Abstract State Machines. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 324-340, Springer, 2003. [doi]

Authors

Marianna Nicolosi Asmundo

This author has not been identified. Look up 'Marianna Nicolosi Asmundo' in Google

Elvinia Riccobene

This author has not been identified. Look up 'Elvinia Riccobene' in Google