%0 Conference Paper %1 conf/splc/CordyCHSL13 %A Cordy, Maxime %A Classen, Andreas %A Heymans, Patrick %A Schobbens, Pierre-Yves %A Legay, Axel %B SPLC Workshops %D 2013 %I ACM %K dblp %P 141-146 %T ProVeLines: a product line of verifiers for software product lines. %U http://dblp.uni-trier.de/db/conf/splc/splc2013w.html#CordyCHSL13 %@ 978-1-4503-2325-3

@inproceedings{conf/splc/CordyCHSL13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cordy, Maxime and Classen, Andreas and Heymans, Patrick and Schobbens, Pierre-Yves and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/20d1bf0850aee8f86f0f4b6ddb7a634ef/dblp}, booktitle = {SPLC Workshops}, crossref = {conf/splc/2013w}, ee = {https://doi.org/10.1145/2499777.2499781}, interhash = {ec38104448927de4e8eb288c0ba31f60}, intrahash = {0d1bf0850aee8f86f0f4b6ddb7a634ef}, isbn = {978-1-4503-2325-3}, keywords = {dblp}, pages = {141-146}, publisher = {ACM}, timestamp = {2018-11-07T16:28:27.000+0100}, title = {ProVeLines: a product line of verifiers for software product lines.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2013w.html#CordyCHSL13}, year = 2013 }