%0 Conference Paper %1 conf/sbmf/BarzaCISMB16 %A Barza, Sérgio %A Carvalho, Gustavo %A Iyoda, Juliano %A Sampaio, Augusto %A Mota, Alexandre %A de Almeida Barros, Flávia %B SBMF %D 2016 %E Ribeiro, Leila %E Lecomte, Thierry %K %P 217-234 %T Model Checking Requirements. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2016.html#BarzaCISMB16 %V 10090 %@ 978-3-319-49814-0

@inproceedings{conf/sbmf/BarzaCISMB16, added-at = {2023-12-12T21:09:44.000+0100}, author = {Barza, Sérgio and Carvalho, Gustavo and Iyoda, Juliano and Sampaio, Augusto and Mota, Alexandre and de Almeida Barros, Flávia}, biburl = {https://www.bibsonomy.org/bibtex/2d7b5651831c97295d8ea1dd38115915c/admin}, booktitle = {SBMF}, crossref = {conf/sbmf/2016}, editor = {Ribeiro, Leila and Lecomte, Thierry}, ee = {https://doi.org/10.1007/978-3-319-49815-7_13}, interhash = {3a103ced984bc0f4144c645ffd2cea99}, intrahash = {d7b5651831c97295d8ea1dd38115915c}, isbn = {978-3-319-49814-0}, keywords = {}, pages = {217-234}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:09:44.000+0100}, title = {Model Checking Requirements.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2016.html#BarzaCISMB16}, volume = 10090, year = 2016 }