?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F2723%2F&rft.title=Checking+for+choreography+conformance+using+spatial+logic+model-checking&rft.creator=Caires%2C+Luis&rft.creator=Tavares+Sousa%2C+David&rft.creator=Torres+Vieira%2C+Hugo+&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+illustrate+with+a+simple+example+how+the+Spatial+Logic+Model+Checker+can+be+used+to+check+choreography+conformance+properties&rft.publisher=Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa&rft.date=2007-10&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F2723%2F1%2Fchoreography-SLMC-3.pdf&rft.identifier=++Caires%2C+Luis+and+Tavares+Sousa%2C+David+and+Torres+Vieira%2C+Hugo+++Checking+for+choreography+conformance+using+spatial+logic+model-checking.++Technical+Report++%2303%2F2007++++Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa+++++++(Unpublished)+++&rft.relation=http%3A%2F%2Fciti.di.fct.unl.pt%2Fpublication%2Ftechreport.php%3Fid%3D59