External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Slicing Agent Programs for More Efficient Verification

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]

Authors

Michael Winikoff

This author has not been identified. Look up 'Michael Winikoff' in Google

Louise Dennis

This author has not been identified. Look up 'Louise Dennis' in Google

Michael Fisher

This author has not been identified. Look up 'Michael Fisher' in Google
runs on