Slicing Agent Programs for more Efficient Verification. In Proc. 6th International Workshop in Engineering Multi-Agent Systems, Stockholm, Sweden, 2018. [ ]
bibtex   
@InProceedings{EMAS18,
   author = {Michael Winikoff and } # Dennis # { and } # Fisher,
    title = "{Slicing Agent Programs for more Efficient Verification}",
booktitle = {Proc. 6th International Workshop in Engineering Multi-Agent Systems},
year = 2018,
address = {Stockholm, Sweden},
note = "[ "  # FAIRSPACE # RAIN # "]"
}

Downloads: 0