Skip to main content

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs

Alessandra Cavarra and Juliana Küster Filipe

Book Title
Abstract State Machines 2004. Advances in Theory and Practice‚ 11th International Workshop‚ ASM 2004‚ Lutherstadt Wittenberg‚ Germany‚ May 24−28‚ 2004. Proceedings
Editor
Wolf Zimmermann and Bernhard Thalheim
ISBN
3−540−22094−1
Pages
62−77
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3052
Year
2004