Jump to Navigation

Abstract model checking and refinement of temporal logic in Spin

TitleAbstract model checking and refinement of temporal logic in Spin
Publication TypeConference Paper
Year of Publication2003
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel
Conference NameJohan Lilius, Felice Balarin, y Ricardo J. Machado (Eds.). Proceedings of Third International Conference on Application of Concurrency to System Design. ACSD 2003, 18-20 June 2003, Gamaraes, Portugal
Date Publishedoct
PublisherIEEE Computer Society
Conference LocationLos Alamitos, California
ISBN Number0-7695-1887-7


Main menu 2

Biblio | by Dr. Radut