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:
Related Articles:
-
O. O. Olusanya, J. L. Obetta, M. O. Oyediram, A. W. Elegbede
-
J. L. Obetta, O. O. Olusanyan, M. O. Oyediran, W. B. Wahab, A. T. Olusesi, A. W. Elegbede
-
Ednah Olubunmi Aliyu
-
Mohamed Msaddek, George Kimbowa, Abdelkader El Garouani
-
Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang