{"_id":"H2AXjYSGNEWMvcjsF","bibbaseid":"anonymous-slicingagentprogramsformoreefficientverification-2018","downloads":0,"creationDate":"2018-10-06T15:22:57.668Z","title":"Slicing Agent Programs for more Efficient Verification","author_short":null,"year":2018,"bibtype":"inproceedings","biburl":"https://autonomy-and-verification-uol.github.io/hubpubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":"[object Object],[object Object][object Object],[object Object]","title":"Slicing Agent Programs for more Efficient Verification","booktitle":"Proc. 6th International Workshop in Engineering Multi-Agent Systems","year":"2018","address":"Stockholm, Sweden","note":"[ ]","bibtex":"@InProceedings{EMAS18,\n author = {Michael Winikoff and } # Dennis # { and } # Fisher,\n title = \"{Slicing Agent Programs for more Efficient Verification}\",\nbooktitle = {Proc. 6th International Workshop in Engineering Multi-Agent Systems},\nyear = 2018,\naddress = {Stockholm, Sweden},\nnote = \"[ \" # FAIRSPACE # RAIN # \"]\"\n}\n","key":"EMAS18","id":"EMAS18","bibbaseid":"anonymous-slicingagentprogramsformoreefficientverification-2018","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["slicing","agent","programs","more","efficient","verification"],"keywords":[],"authorIDs":[],"dataSources":["FoK8CAiSSBYifiy8q"]}