?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F2290%2F&rft.title=The+spatial+logic+model+checker+user's+manual%3A+version+0.9&rft.creator=Torres+Vieira%2C+Hugo+&rft.creator=Caires%2C+Luis&rft.subject=QA75+Electronic+computers.+Computer+science&rft.publisher=+Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa&rft.date=2004&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.identifier=++Torres+Vieira%2C+Hugo++and+Caires%2C+Luis++The+spatial+logic+model+checker+user's+manual%3A+version+0.9.++Technical+Report++%2303%2F2004+++++Departamento+de+Inform%C3%A1tica+-+Universidade+nova+de+Lisboa+++++++(Unpublished)+++&rft.relation=http%3A%2F%2Fciti.di.fct.unl.pt%2Fpublication%2Ftechreport.php%3Fid%3D4