"A model-prover for constrained dynamic conversations."

Diletta Cacciagrano et al. (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics