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

Reduced models for efficient CCS verification

Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Reduced models for efficient CCS verification", Formal Methods in System Design, vol. 26, no. 3: Springer, pp. 319–350, 2005.