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

A tool supporting efficient model checking of concurrent specifications

De Francesco, N., and A. Santone, "A tool supporting efficient model checking of concurrent specifications", Microprocessors and Microsystems, vol. 25, no. 9: Elsevier, pp. 401–407, 2002.