Slicing Agent Programs for More Efficient VerificationMarkMichael Winikoff[0]Louise Dennis[0]Michael Fisher[0]EMAS@AAMAS, pp. 139-157, 2018.Cited by: 0|Bibtex|Views7|DOI:https://doi.org/10.1007/978-3-030-25693-7_8EI Other Links: dblp.uni-trier.deCode: Data: Full Text (Upload PDF)PPT (Upload PPT)Upload PDFUpload PPTYour rating :0 TagsCommentsSubmit
