Nicoletta De Francesco, Antonella Santone. A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci., 13(5):719-731, 2002. [doi]
@article{Francesco02,
title = {A Formula-Driven Modular Attack on State Explosion},
author = {Nicoletta De Francesco and Antonella Santone},
year = {2002},
doi = {10.1142/S0129054102001412},
url = {http://dx.doi.org/10.1142/S0129054102001412},
researchr = {https://researchr.org/publication/Francesco02},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {13},
number = {5},
pages = {719-731},
}