@inproceedings{wijs_compositional_2017, title = {Compositional Model Checking with Incremental Counter-Example Construction}, authors = {Wijs, Anton and Neele, Thomas}, year = {2017}, publisher = {Springer}, booktitle = {CAV 2017}, pages = {570--590}, series = {LNCS}, volume = {10426}, doi = {10.1007/978-3-319-63387-9_28}, }