Juan Quemada, Santiago Pavón, Angel Fernández. Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. 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 45-54, North-Holland, 1988.
@inproceedings{QuemadaPF88,
title = {Transforming LOTOS Specifications with LOLA - The Parameterised Expansion},
author = {Juan Quemada and Santiago Pavón and Angel Fernández},
year = {1988},
researchr = {https://researchr.org/publication/QuemadaPF88},
cites = {0},
citedby = {0},
pages = {45-54},
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},
}