Interfacing ASM with the MDG Tool

Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter. Interfacing ASM with the MDG Tool. 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 278-292, Springer, 2003. [doi]

@inproceedings{GawanmehTW03:0,
  title = {Interfacing ASM with the MDG Tool},
  author = {Amjad Gawanmeh and Sofiène Tahar and Kirsten Winter},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890278.htm},
  researchr = {https://researchr.org/publication/GawanmehTW03%3A0},
  cites = {0},
  citedby = {0},
  pages = {278-292},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  editor = {Egon Börger and Angelo Gargantini and Elvinia Riccobene},
  volume = {2589},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00624-9},
}