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

Formal verification of concurrent systems via directed model checking

Gradara, S., A. Santone, and M. Luisa Villani, "Formal verification of concurrent systems via directed model checking", Electronic Notes in Theoretical Computer Science, vol. 185: Elsevier, pp. 93–105, 2007.