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