%0 Journal Article %1 journals/pcs/MordanM16 %A Mordan, Vitaly O. %A Mutilin, Vadim S. %D 2016 %J Program. Comput. Softw. %K dblp %N 4 %P 225-238 %T Checking several requirements at once by CEGAR. %U http://dblp.uni-trier.de/db/journals/pcs/pcs42.html#MordanM16 %V 42

@article{journals/pcs/MordanM16, added-at = {2020-10-26T00:00:00.000+0100}, author = {Mordan, Vitaly O. and Mutilin, Vadim S.}, biburl = {https://www.bibsonomy.org/bibtex/2f44fe4134e6ae5dd568bdfa3f04aa4c0/dblp}, ee = {https://doi.org/10.1134/S0361768816040058}, interhash = {6f923ad6c94c755ef00129addde07001}, intrahash = {f44fe4134e6ae5dd568bdfa3f04aa4c0}, journal = {Program. Comput. Softw.}, keywords = {dblp}, number = 4, pages = {225-238}, timestamp = {2020-10-27T12:26:00.000+0100}, title = {Checking several requirements at once by CEGAR.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs42.html#MordanM16}, volume = 42, year = 2016 }