%0 Report
%9 Technical Report
%A Caires, Luis
%A Tavares Sousa, David
%A Torres Vieira, Hugo 
%D 2007
%F eprints:2723
%I Departamento de Informática
%N 03
%T Checking for choreography conformance using spatial logic model-checking
%U http://eprints.imtlucca.it/2723/
%X We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties