Elvinia Riccobene, Patrizia Scandurra. Towards an Interchange Language for ASMs. In Wolf Zimmermann, Bernhard Thalheim, editors, Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Volume 3052 of Lecture Notes in Computer Science, pages 111-126, Springer, 2004. [doi]
@inproceedings{RiccobeneS04,
title = {Towards an Interchange Language for ASMs},
author = {Elvinia Riccobene and Patrizia Scandurra},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3052&spage=111},
researchr = {https://researchr.org/publication/RiccobeneS04},
cites = {0},
citedby = {0},
pages = {111-126},
booktitle = {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},
volume = {3052},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22094-1},
}