%0 Conference Paper %1 conf/itp/CohenR17 %A Cohen, Cyril %A Rouhling, Damien %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K %P 148-163 %T A Formal Proof in Coq of LaSalle's Invariance Principle. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#CohenR17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/CohenR17, added-at = {2023-12-12T20:07:30.000+0100}, author = {Cohen, Cyril and Rouhling, Damien}, biburl = {https://www.bibsonomy.org/bibtex/2690b0c26481664296a4e1070f859f7a0/admin}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_10}, interhash = {2adb6d17f7b3ce8792b17db348113747}, intrahash = {690b0c26481664296a4e1070f859f7a0}, isbn = {978-3-319-66107-0}, keywords = {}, pages = {148-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:07:30.000+0100}, title = {A Formal Proof in Coq of LaSalle's Invariance Principle.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#CohenR17}, volume = 10499, year = 2017 }