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

Syntactic reductions for efficient deadlock analysis

De Francesco, N., and A. Santone, "Syntactic reductions for efficient deadlock analysis", Software Testing, Verification and Reliability, vol. 12, no. 3: Wiley Online Library, pp. 173–186, 2002.