@inproceedings{DBLP:conf/cav/PlatzerC08,
author = {Andr{\'e} Platzer and
Edmund M. Clarke},
title = {Computing Differential Invariants of Hybrid Systems as Fixedpoints},
booktitle = {CAV},
year = {2008},
pages = {176-189},
ee = {http://dx.doi.org/10.1007/978-3-540-70545-1_17},
crossref = {DBLP:conf/cav/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cav/2008,
editor = {Aarti Gupta and
Sharad Malik},
title = {Computer Aided Verification, 20th International Conference,
CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5123},
year = {2008},
isbn = {978-3-540-70543-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-09-20 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
