Jump to Navigation

Analyzing hybrid systems with JPF

TitleAnalyzing hybrid systems with JPF
Publication TypeConference Paper
Year of Publication2012
AuthorsPanizo, L., and M-del-M. Gallardo
Conference NameMaría del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012
Date Publishedsep
PublisherUniversidad de Almería
ISBN Number978-84-15487-27-2


Main menu 2

Biblio | by Dr. Radut