TY  - UNPB
UR  - http://citi.di.fct.unl.pt/publication/techreport.php?id=59
PB  - Departamento de Informática - Universidade nova de Lisboa
A1  - Caires, Luis
A1  - Tavares Sousa, David
A1  - Torres Vieira, Hugo 
TI  - Checking for choreography conformance using spatial logic model-checking
EP  - 6
Y1  - 2007/10//
ID  - eprints2723
N2  - We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties
M1  - technical_report
AV  - public
ER  -