%0 Conference Paper %1 conf/sas/BakhirkinBP15 %A Bakhirkin, Alexey %A Berdine, Josh %A Piterman, Nir %B SAS %D 2015 %E Blazy, Sandrine %E Jensen, Thomas P. %I Springer %K dblp %P 293-311 %T A Forward Analysis for Recurrent Sets. %U http://dblp.uni-trier.de/db/conf/sas/sas2015.html#BakhirkinBP15 %V 9291 %@ 978-3-662-48287-2

@inproceedings{conf/sas/BakhirkinBP15, added-at = {2017-11-06T00:00:00.000+0100}, author = {Bakhirkin, Alexey and Berdine, Josh and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/2d5b1e2e3d03ab4071a0591d2174eb6e7/dblp}, booktitle = {SAS}, crossref = {conf/sas/2015}, editor = {Blazy, Sandrine and Jensen, Thomas P.}, ee = {https://doi.org/10.1007/978-3-662-48288-9_17}, interhash = {bd0ebd908f7efa2a84b3f3141511de3b}, intrahash = {d5b1e2e3d03ab4071a0591d2174eb6e7}, isbn = {978-3-662-48287-2}, keywords = {dblp}, pages = {293-311}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:43.000+0200}, title = {A Forward Analysis for Recurrent Sets.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2015.html#BakhirkinBP15}, volume = 9291, year = 2015 }