Jump to Navigation

aSPIN: implementing model checking with data abstraction

TitleaSPIN: implementing model checking with data abstraction
Publication TypeConference Paper
Year of Publication2003
AuthorsGallardo, M-del-M., J. Martínez, E. Pimentel, and P. Merino
Conference NameConcurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia
Date Publishedoct
PublisherUniversitat Jaume I
ISBN Number84-8021-434-1


Main menu 2

Biblio | by Dr. Radut