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

Formula based abstractions of transition systems for real-time model checking

Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Formula based abstractions of transition systems for real-time model checking", FM’99 Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, vol. 1708: Springer, pp. 289–306, 1999.