%0 Conference Paper %1 conf/sigsoft/CordyHLSDL14 %A Cordy, Maxime %A Heymans, Patrick %A Legay, Axel %A Schobbens, Pierre-Yves %A Dawagne, Bruno %A Leucker, Martin %B SIGSOFT FSE %D 2014 %E Cheung, Shing-Chi %E Orso, Alessandro %E Storey, Margaret-Anne D. %I ACM %K %P 190-201 %T Counterexample guided abstraction refinement of product-line behavioural models. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2014.html#CordyHLSDL14 %@ 978-1-4503-3056-5

@inproceedings{conf/sigsoft/CordyHLSDL14, added-at = {2023-12-13T09:09:21.000+0100}, author = {Cordy, Maxime and Heymans, Patrick and Legay, Axel and Schobbens, Pierre-Yves and Dawagne, Bruno and Leucker, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2b518b4c503910df712e0f1c3c8c35dac/admin}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2014}, editor = {Cheung, Shing-Chi and Orso, Alessandro and Storey, Margaret-Anne D.}, ee = {https://doi.org/10.1145/2635868.2635919}, interhash = {cb9c75623837b0ebac854fda74effd6a}, intrahash = {b518b4c503910df712e0f1c3c8c35dac}, isbn = {978-1-4503-3056-5}, keywords = {}, pages = {190-201}, publisher = {ACM}, timestamp = {2023-12-13T09:09:21.000+0100}, title = {Counterexample guided abstraction refinement of product-line behavioural models.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2014.html#CordyHLSDL14}, year = 2014 }