%N 03
%L eprints2723
%A Luis Caires
%A David Tavares Sousa
%A Hugo  Torres Vieira
%D 2007
%T Checking for choreography conformance using spatial logic model-checking
%X We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties
%I Departamento de Inform?tica - Universidade nova de Lisboa