Integration of model checking and simulation for protocol analysis

TitleIntegration of model checking and simulation for protocol analysis
Publication TypeConference Paper
Year of Publication2012
AuthorsSalmeron A, Merino P
Conference NameXX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012