%0 Conference Paper %1 conf/icfem/WangZZ15 %A Wang, Shuling %A Zhan, Naijun %A Zou, Liang %B ICFEM %D 2015 %E Butler, Michael J. %E Conchon, Sylvain %E Zaïdi, Fatiha %I Springer %K dblp %P 382-399 %T An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2015.html#WangZZ15 %V 9407 %@ 978-3-319-25422-7

@inproceedings{conf/icfem/WangZZ15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Wang, Shuling and Zhan, Naijun and Zou, Liang}, biburl = {https://www.bibsonomy.org/bibtex/24db168cb2a3bd63d8ebb7157382b59e5/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2015}, editor = {Butler, Michael J. and Conchon, Sylvain and Zaïdi, Fatiha}, ee = {https://doi.org/10.1007/978-3-319-25423-4_25}, interhash = {4b3a93bab720b0a0c0753ce1fc1c1d6b}, intrahash = {4db168cb2a3bd63d8ebb7157382b59e5}, isbn = {978-3-319-25422-7}, keywords = {dblp}, pages = {382-399}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:48:54.000+0200}, title = {An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2015.html#WangZZ15}, volume = 9407, year = 2015 }