%0 Conference Paper %1 conf/formats/CarterN12 %A Carter, Rebekah %A Navarro-López, Eva M. %B FORMATS %D 2012 %E Jurdzinski, Marcin %E Nickovic, Dejan %I Springer %K dblp %P 59-74 %T Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2012.html#CarterN12 %V 7595 %@ 978-3-642-33364-4

@inproceedings{conf/formats/CarterN12, added-at = {2017-05-26T00:00:00.000+0200}, author = {Carter, Rebekah and Navarro-López, Eva M.}, biburl = {https://www.bibsonomy.org/bibtex/2347869b36ac2aeb3f2c77640a8965eaf/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2012}, editor = {Jurdzinski, Marcin and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-642-33365-1_6}, interhash = {812b29de2ca7daa503f04e131359d812}, intrahash = {347869b36ac2aeb3f2c77640a8965eaf}, isbn = {978-3-642-33364-4}, keywords = {dblp}, pages = {59-74}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:19.000+0200}, title = {Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2012.html#CarterN12}, volume = 7595, year = 2012 }