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

A Formula-Driven Modular Attack on State Explosion

De Francesco, N., and A. Santone, "A Formula-Driven Modular Attack on State Explosion", International Journal of Foundations of Computer Science, vol. 13, no. 05: World Scientific, pp. 719–731, 2002.