@inproceedings{salvati:hal-00741077, TITLE = {{Using models to model-check recursive schemes}}, AUTHOR = {Salvati, Sylvain and Walukiewicz, Igor}, URL = {https://hal.inria.fr/hal-00741077}, BOOKTITLE = {{TLCA 2013}}, ADDRESS = {Eindhoven, Netherlands}, SERIES = {LNCS}, VOLUME = {7941}, PAGES = {189-204}, YEAR = {2013}, HAL_ID = {hal-00741077}, HAL_VERSION = {v2}, }