%0 Journal Article %1 journals/accs/AkhinKI15 %A Akhin, Marat Kh. %A Kolton, Sam %A Itsykson, Vladimir M. %D 2015 %J Automatic Control and Computer Sciences %K dblp %N 7 %P 413-419 %T Random model sampling: Making craig interpolation work when it should not. %U http://dblp.uni-trier.de/db/journals/accs/accs49.html#AkhinKI15 %V 49

@article{journals/accs/AkhinKI15, added-at = {2016-01-28T00:00:00.000+0100}, author = {Akhin, Marat Kh. and Kolton, Sam and Itsykson, Vladimir M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f29fa3b5205e31e624dc3757009f27d9/dblp}, ee = {http://dx.doi.org/10.3103/S0146411615070020}, interhash = {b48b3abfa66caec8f9742a6595cc7b67}, intrahash = {f29fa3b5205e31e624dc3757009f27d9}, journal = {Automatic Control and Computer Sciences}, keywords = {dblp}, number = 7, pages = {413-419}, timestamp = {2016-02-02T09:50:54.000+0100}, title = {Random model sampling: Making craig interpolation work when it should not.}, url = {http://dblp.uni-trier.de/db/journals/accs/accs49.html#AkhinKI15}, volume = 49, year = 2015 }