Kouvaros and Lomuscio. "A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Kouvaros and Lomuscio. "A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/kouvaros2013ijcai-cutoff/)
BibTeX
@inproceedings{kouvaros2013ijcai-cutoff,
title = {{A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments}},
author = {Kouvaros, Panagiotis and Lomuscio, Alessio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {2013-2019},
url = {https://mlanthology.org/ijcai/2013/kouvaros2013ijcai-cutoff/}
}