Michael Winikoff, Louise Dennis, Michael Fisher. Slicing Agent Programs for More Efficient Verification. In Danny Weyns, Viviana Mascardi, Alessandro Ricci, editors, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Volume 11375 of Lecture Notes in Computer Science, pages 139-157, Springer, 2018. [doi]
@inproceedings{WinikoffDF18,
title = {Slicing Agent Programs for More Efficient Verification},
author = {Michael Winikoff and Louise Dennis and Michael Fisher},
year = {2018},
doi = {10.1007/978-3-030-25693-7_8},
url = {https://doi.org/10.1007/978-3-030-25693-7_8},
researchr = {https://researchr.org/publication/WinikoffDF18},
cites = {0},
citedby = {0},
pages = {139-157},
booktitle = {Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers},
editor = {Danny Weyns and Viviana Mascardi and Alessandro Ricci},
volume = {11375},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-25693-7},
}