Jump to Navigation

An approach to verify hybrid systems with SPIN

TitleAn approach to verify hybrid systems with SPIN
Publication TypeConference Paper
Year of Publication2010
AuthorsGallardo, M-del-M., and L. Panizo
Conference NameVictor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010
Date Publishedoct
PublisherGaceta grupo editorial
Conference LocationMadrid
ISBN Number978-84-92812-55-4


Main menu 2

Biblio | by Dr. Radut