Sylvain Salvati, Igor Walukiewicz
Using Models to Model-Check Recursive Schemes
TLCA, 2013.
@inproceedings{TLCA-2013-SalvatiW, author = "Sylvain Salvati and Igor Walukiewicz", booktitle = "{Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-642-38946-7_15", isbn = "['978-3-642-38945-0', '978-3-642-38946-7']", pages = "189--204", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Using Models to Model-Check Recursive Schemes}", volume = 7941, year = 2013, }