An Extension of Java PathFinder for Hybrid Systems

TitleAn Extension of Java PathFinder for Hybrid Systems
Publication TypeJournal Article
Year of Publication2012
AuthorsPanizo L, Gallardo M-del-M
JournalACM SIGSOFT Software Engineering Notes
Volume37
Pagination1–5
Date Publishednov
ISSN0163-5948