skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

LORETO: a tool for reducing state explosion in verification of LOTOS programs

Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "LORETO: a tool for reducing state explosion in verification of LOTOS programs", Softw., Pract. Exper., vol. 29, no. 12: Citeseer, pp. 1123–1147, 1999.