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

Modifying LOTOS specifications by means of automatable formula-based integrations

Santone, A., and G. Vaglini, "Modifying LOTOS specifications by means of automatable formula-based integrations", Journal of Automated Reasoning, vol. 30, no. 1: Springer, pp. 33–58, 2003.