%0 Conference Paper %1 conf/ershov/MordanM15 %A Mordan, Vitaly O. %A Mutilin, Vadim S. %B Ershov Memorial Conference %D 2015 %E Mazzara, Manuel %E Voronkov, Andrei %I Springer %K dblp %P 218-232 %T Checking Several Requirements at once by CEGAR. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2015.html#MordanM15 %V 9609 %@ 978-3-319-41578-9

@inproceedings{conf/ershov/MordanM15, added-at = {2016-07-25T00:00:00.000+0200}, author = {Mordan, Vitaly O. and Mutilin, Vadim S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2911fa7403d6b4ced5ff71cbdce91881a/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2015}, editor = {Mazzara, Manuel and Voronkov, Andrei}, ee = {http://dx.doi.org/10.1007/978-3-319-41579-6_17}, interhash = {ba74382d9e6727f79586308661e93f34}, intrahash = {911fa7403d6b4ced5ff71cbdce91881a}, isbn = {978-3-319-41578-9}, keywords = {dblp}, pages = {218-232}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-07-26T09:33:08.000+0200}, title = {Checking Several Requirements at once by CEGAR.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2015.html#MordanM15}, volume = 9609, year = 2015 }