A toolbox for the verification of LOTOS programs

• 1 January 1992
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 246-259
• https://doi.org/10.1145/143062.143124

Abstract