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

Automatic verification of concurrent systems using a formula-based compositional approach

Santone, A., "Automatic verification of concurrent systems using a formula-based compositional approach", Acta informatica, vol. 38, no. 8: Springer, pp. 531–564, 2002.