Javier Quiroz, Olga Ormandjieva. Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems. In M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, Adegboyega K. Ojo, editors, International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008. pages 95-104, ISRST, 2008.
@inproceedings{QuirozO08,
title = {Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems},
author = {Javier Quiroz and Olga Ormandjieva},
year = {2008},
researchr = {https://researchr.org/publication/QuirozO08},
cites = {0},
citedby = {0},
pages = {95-104},
booktitle = {International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008},
editor = {M. A. Karim Sadiq and Haiping Xu and Jaroslav Zendulka and Adegboyega K. Ojo},
publisher = {ISRST},
isbn = {978-1-60651-005-6},
}