<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Checking for choreography conformance using spatial logic model-checking"^^ . "We illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance properties"^^ . "2007-10" . . "03" . . "Departamento de Informática - Universidade nova de Lisboa"^^ . . . . . . . . . . . . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "David"^^ . "Tavares Sousa"^^ . "David Tavares Sousa"^^ . . . . . . "Checking for choreography conformance using spatial logic model-checking (PDF)"^^ . . . "choreography-SLMC-3.pdf"^^ . . . "Checking for choreography conformance using spatial logic model-checking (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Checking for choreography conformance using spatial logic model-checking (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Checking for choreography conformance using spatial logic model-checking (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Checking for choreography conformance using spatial logic model-checking (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2723 \n\nChecking for choreography conformance using spatial logic model-checking\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .