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