Tommaso Bolognesi, Maurizio Caneve. Squiggles - A Tool for the Analysis of LOTOS Specifications. 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 201-216, North-Holland, 1988.
@inproceedings{BolognesiC88,
title = {Squiggles - A Tool for the Analysis of LOTOS Specifications},
author = {Tommaso Bolognesi and Maurizio Caneve},
year = {1988},
tags = {analysis},
researchr = {https://researchr.org/publication/BolognesiC88},
cites = {0},
citedby = {0},
pages = {201-216},
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},
}