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]
Abstract is missing.