Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros. Model Checking Requirements. In Leila Ribeiro, Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Volume 10090 of Lecture Notes in Computer Science, pages 217-234, 2016. [doi]
@inproceedings{BarzaCISMB16,
title = {Model Checking Requirements},
author = {Sérgio Barza and Gustavo Carvalho and Juliano Iyoda and Augusto Sampaio and Alexandre Mota and Flávia de Almeida Barros},
year = {2016},
doi = {10.1007/978-3-319-49815-7_13},
url = {http://dx.doi.org/10.1007/978-3-319-49815-7_13},
researchr = {https://researchr.org/publication/BarzaCISMB16},
cites = {0},
citedby = {0},
pages = {217-234},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
editor = {Leila Ribeiro and Thierry Lecomte},
volume = {10090},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-49814-0},
}