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.

Reasoning on Incomplete Execution Traces Using Action Languages - A First Report

Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval. Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. In Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, M. Brian Blake, Olivier Perrin, Iman Saleh, Sami Bhiri, editors, Service-Oriented Computing - ICSOC 2014 Workshops - WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers. Volume 8954 of Lecture Notes in Computer Science, pages 185-191, Springer, 2014. [doi]

Authors

Chiara Di Francescomarino

This author has not been identified. Look up 'Chiara Di Francescomarino' in Google

Chiara Ghidini

This author has not been identified. Look up 'Chiara Ghidini' in Google

Sergio Tessaris

This author has not been identified. Look up 'Sergio Tessaris' in Google

Itzel Vázquez Sandoval

This author has not been identified. Look up 'Itzel Vázquez Sandoval' in Google
runs on