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

DELFIN+: An efficient deadlock detection tool for CCS processes

Gradara, S., A. Santone, and M. Luisa Villani, "DELFIN+: An efficient deadlock detection tool for CCS processes", Journal of Computer and System Sciences, vol. 72, no. 8: Elsevier, pp. 1397–1412, 2006.