@inproceedings{MF14,
title = { Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata },
author = {Minopoli, Stefano and Frehse, Goran},
year = {2014},
booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
crossref = {DBLP:conf/formats/2014},
pages = {176--190},
team = {TEMPO},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/formats/MinopoliF14},
bibsource = {dblp computer science bibliography, http://dblp.org},
}