External Links

Cite Key

Statistics

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

PDF

Tags

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.

A model-prover for constrained dynamic conversations

Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito. A model-prover for constrained dynamic conversations. In Gabriele Kotsis, David Taniar, Eric Pardede, Ismail Khalil Ibrahim, editors, iiWAS 2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria. pages 630-633, ACM, 2008. [doi]

Authors

Diletta Cacciagrano

This author has not been identified. Look up 'Diletta Cacciagrano' in Google

Flavio Corradini

This author has not been identified. Look up 'Flavio Corradini' in Google

Rosario Culmone

This author has not been identified. Look up 'Rosario Culmone' in Google

Luca Tesei

This author has not been identified. Look up 'Luca Tesei' in Google

Leonardo Vito

This author has not been identified. Look up 'Leonardo Vito' in Google
runs on