Article citationsMore>>

H. Beek, A. Fantechi, S. Gnesi and F. Mazzanti, “State/ Event-Based Software Model Checking,” Proceedings of 4th International Conference on Integrated Formal Methods, Canterbury, 4-7 April 2004, pp. 128-147.

has been cited by the following article: