Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
Alessandra Cavarra and Juliana Küster Filipe
Details
| 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 |
Links
Related pages
|
People |