%0 Conference Paper %1 conf/icst/VuottoNPT19 %A Vuotto, Simone %A Narizzano, Massimo %A Pulina, Luca %A Tacchella, Armando %B ICST %D 2019 %I IEEE %K dblp %P 363-366 %T Poster: Automatic Consistency Checking of Requirements with ReqV. %U http://dblp.uni-trier.de/db/conf/icst/icst2019.html#VuottoNPT19 %@ 978-1-7281-1736-2

@inproceedings{conf/icst/VuottoNPT19, added-at = {2019-06-11T00:00:00.000+0200}, author = {Vuotto, Simone and Narizzano, Massimo and Pulina, Luca and Tacchella, Armando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29dfb90f08a7aabf34276da449a1a9076/dblp}, booktitle = {ICST}, crossref = {conf/icst/2019}, ee = {https://doi.org/10.1109/ICST.2019.00043}, interhash = {b3bf39dfd5005b6ae3805651fc86c0f5}, intrahash = {9dfb90f08a7aabf34276da449a1a9076}, isbn = {978-1-7281-1736-2}, keywords = {dblp}, pages = {363-366}, publisher = {IEEE}, timestamp = {2019-09-27T14:23:13.000+0200}, title = {Poster: Automatic Consistency Checking of Requirements with ReqV.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2019.html#VuottoNPT19}, year = 2019 }