%0 Conference Paper %1 conf/fossacs/AvniK13 %A Avni, Guy %A Kupferman, Orna %B FoSSaCS %D 2013 %E Pfenning, Frank %I Springer %K dblp %P 369-384 %T Parameterized Weighted Containment. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#AvniK13 %V 7794 %@ 978-3-642-37074-8

@inproceedings{conf/fossacs/AvniK13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Avni, Guy and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/25c0f25d9500c64db634daee4abb42f13/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2013}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-642-37075-5_24}, interhash = {4918bce5bc7510458213dc14c98e1405}, intrahash = {5c0f25d9500c64db634daee4abb42f13}, isbn = {978-3-642-37074-8}, keywords = {dblp}, pages = {369-384}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:28.000+0200}, title = {Parameterized Weighted Containment.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2013.html#AvniK13}, volume = 7794, year = 2013 }