%0 Conference Paper %1 conf/se/CordyHLSDL16 %A Cordy, Maxime %A Heymans, Patrick %A Legay, Axel %A Schobbens, Pierre-Yves %A Dawagne, Bruno %A Leucker, Martin %B Software Engineering %D 2016 %E Knoop, Jens %E Zdun, Uwe %I GI %K dblp %P 79-80 %T Counterexample guided abstraction refinement of product-line behavioural models. %U http://dblp.uni-trier.de/db/conf/se/se2016.html#CordyHLSDL16 %V P-252 %@ 978-388579-646-6

@inproceedings{conf/se/CordyHLSDL16, added-at = {2023-07-04T00:00:00.000+0200}, 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/221df46442ad050316c7b8ed308140de5/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2016}, editor = {Knoop, Jens and Zdun, Uwe}, ee = {https://dl.gi.de/handle/20.500.12116/732}, interhash = {b193b0105826b3cb055d57f4eac059b4}, intrahash = {21df46442ad050316c7b8ed308140de5}, isbn = {978-388579-646-6}, keywords = {dblp}, pages = {79-80}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T13:03:51.000+0200}, title = {Counterexample guided abstraction refinement of product-line behavioural models.}, url = {http://dblp.uni-trier.de/db/conf/se/se2016.html#CordyHLSDL16}, volume = {P-252}, year = 2016 }