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

State space reduction by non-standard semantics for deadlock analysis

De Francesco, N., A. Santone, and G. Vaglini, "State space reduction by non-standard semantics for deadlock analysis", Science of computer programming, vol. 30, no. 3: Elsevier, pp. 309–338, 1998.