Saturnino Marchena Rodriguez, Gonzalo León. Transformation from LOTOS Specifications to Galileo Nets. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 217-230, North-Holland, 1988.
@inproceedings{RodriguezL88,
title = {Transformation from LOTOS Specifications to Galileo Nets},
author = {Saturnino Marchena Rodriguez and Gonzalo León},
year = {1988},
tags = {transformation},
researchr = {https://researchr.org/publication/RodriguezL88},
cites = {0},
citedby = {0},
pages = {217-230},
booktitle = {Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988},
editor = {Kenneth J. Turner},
publisher = {North-Holland},
isbn = {0-444-87126-8},
}