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