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

Logic based abstractions of real-time systems

Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Logic based abstractions of real-time systems", Formal Methods in System Design, vol. 17, no. 3: Springer, pp. 201–220, 2000.