?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F2310%2F&rft.title=Spatial+logic+model+checker+user%E2%80%99s+guide+%3A+version+1.15&rft.creator=Caires%2C+Luis&rft.creator=Torres+Vieira%2C+Hugo+&rft.subject=QA75+Electronic+computers.+Computer+science&rft.publisher=Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa&rft.date=2009&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.identifier=++Caires%2C+Luis+and+Torres+Vieira%2C+Hugo+++Spatial+logic+model+checker+user%E2%80%99s+guide+%3A+version+1.15.++Technical+Report++%2304%2F2009++++Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa+++++++(Unpublished)+++