Estado del arte de herramientas para la verificación de sistemas h{íbridos

TitleEstado del arte de herramientas para la verificación de sistemas h{íbridos
Publication TypeConference Paper
Year of Publication2008
AuthorsGallardo M-del-M, Merino P, Panizo L
Conference NameLlanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio
Date Publishedjun
ISBN Number978-84-691-2813-8