@unpublished{eprints2723,
            year = {2007},
           title = {Checking for choreography conformance using spatial logic model-checking},
     institution = {Departamento de Inform{\'a}tica},
            type = {Technical Report},
          author = {Luis Caires and David Tavares Sousa and Hugo  Torres Vieira},
       publisher = {Departamento de Inform{\'a}tica - Universidade nova de Lisboa},
           month = {October},
        abstract = {We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties},
             url = {http://eprints.imtlucca.it/2723/}
}