%0 Conference Paper %1 conf/atva/DammPR05 %A Damm, Werner %A Pinto, Guilherme %A Ratschan, Stefan %B ATVA %D 2005 %E Peled, Doron A. %E Tsay, Yih-Kuen %I Springer %K dblp %P 99-113 %T Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2005.html#DammPR05 %V 3707 %@ 3-540-29209-8

@inproceedings{conf/atva/DammPR05, added-at = {2017-05-21T00:00:00.000+0200}, author = {Damm, Werner and Pinto, Guilherme and Ratschan, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2ffaf2aa7362f81998bb698be5fcbc6da/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2005}, editor = {Peled, Doron A. and Tsay, Yih-Kuen}, ee = {https://doi.org/10.1007/11562948_10}, interhash = {670b918853c2bc86300233f1709b5892}, intrahash = {ffaf2aa7362f81998bb698be5fcbc6da}, isbn = {3-540-29209-8}, keywords = {dblp}, pages = {99-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:44.000+0200}, title = {Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2005.html#DammPR05}, volume = 3707, year = 2005 }