Squiggles - A Tool for the Analysis of LOTOS Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. It may be one of the following persons:

Tommaso Bolognesi

Look up 'Tommaso Bolognesi' in GoogleThis author has not been identified. Look up 'Maurizio Caneve' in Google

runs on WebDSL