A Toolbox for the Verification of LOTOS Programs (1992)

by J-C Fernandez, H Garavel, L Mounier, A Rasse, C Rodriguez, J Sifakis
Venue:Proceedings of the 14th International Conference on Software Engineering, ICSE 14