Quasi-dependent variables in hybrid automata release_zsezgideq5gczhquccbvx34esa

by Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski

Published in International Conference on Hybrid Systems: Computation and Control by ACM Press.

2014   p93-102

Archived Files and Locations

application/pdf  381.7 kB
file_jhi5whzworeslousn5cch552eq
swt.informatik.uni-freiburg.de (web)
web.archive.org (webarchive)
application/pdf  412.1 kB
file_wr67lhzf6vditjnckmmmprlmte
swt.informatik.uni-freiburg.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 143c3710-1b18-4701-bc08-4c544da38ad7
API URL: JSON