%0 Conference Paper %1 conf/hybrid/MitchellT05 %A Mitchell, Ian M. %A Templeton, Jeremy A. %B HSCC %D 2005 %E Morari, Manfred %E Thiele, Lothar %I Springer %K dblp %P 480-494 %T A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2005.html#MitchellT05 %V 3414 %@ 3-540-25108-1

@inproceedings{conf/hybrid/MitchellT05, added-at = {2017-05-25T00:00:00.000+0200}, author = {Mitchell, Ian M. and Templeton, Jeremy A.}, biburl = {https://www.bibsonomy.org/bibtex/2ecc121126b9d3f7fb3b2022139b69665/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2005}, editor = {Morari, Manfred and Thiele, Lothar}, ee = {https://doi.org/10.1007/978-3-540-31954-2_31}, interhash = {a3749fda84ffb22c14859daa6df0894e}, intrahash = {ecc121126b9d3f7fb3b2022139b69665}, isbn = {3-540-25108-1}, keywords = {dblp}, pages = {480-494}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:51:38.000+0200}, title = {A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2005.html#MitchellT05}, volume = 3414, year = 2005 }