See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/4020621 Abstract model checking and refinement of temporal logic in αSPIN Conference Paper · July 2003 DOI: 10.1109/CSD.2003.1207725 · Source: IEEE Xplore CITATIONS 3 READS 39 4 authors, including: Some of the authors of this publication are also working on these related projects: H2020 Q4Health View project María-del-Mar Gallardo University of Malaga 69 PUBLICATIONS 468 CITATIONS SEE PROFILE Pedro Merino University of Malaga 100 PUBLICATIONS 530 CITATIONS SEE PROFILE Ernesto Pimentel University of Malaga 177 PUBLICATIONS 1,745 CITATIONS SEE PROFILE All content following this page was uploaded by María-del-Mar Gallardo on 22 December 2016. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.