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.

Business Processes Verification with Temporal Answer Set Programming

Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré. Business Processes Verification with Temporal Answer Set Programming. In Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña, Andrea Marrella, editors, Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012. Volume 861 of CEUR Workshop Proceedings, pages 48-59, CEUR-WS.org, 2012. [doi]

Authors

Laura Giordano 0001

This author has not been identified. Look up 'Laura Giordano 0001' in Google

Alberto Martelli

This author has not been identified. Look up 'Alberto Martelli' in Google

Matteo Spiotta

This author has not been identified. Look up 'Matteo Spiotta' in Google

Daniele Theseider Dupré

This author has not been identified. Look up 'Daniele Theseider Dupré' in Google
runs on