A Toolbox For The Verification Of LOTOS Programs

Cite this paper

@article{Fernandez1992ATF, title={A Toolbox For The Verification Of LOTOS Programs}, author={Jean-Claude Fernandez and Hubert Garavel and Laurent Mounier and Anne Rasse and Carlos Rodriguez and Joseph Sifakis}, journal={International Conference on Software Engineering}, year={1992}, pages={246-259} }