Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Software: Practice and Experience, 29(12):1123-1147, 1999.
No references recorded for this publication.
No citations of this publication recorded.