%0 Book Section %1 books/sp/17/ChenHTWYZZZ17 %A Chen, Mingshuai %A Han, Xiao %A Tang, Tao %A Wang, Shuling %A Yang, Mengfei %A Zhan, Naijun %A Zhao, Hengjun %A Zou, Liang %B Provably Correct Systems %D 2017 %E Hinchey, Michael G. %E Bowen, Jonathan P. %E Olderog, Ernst-Rüdiger %I Springer %K %P 39-58 %T MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. %U http://dblp.uni-trier.de/db/books/collections/HBO2017.html#ChenHTWYZZZ17 %@ 978-3-319-48628-4

@incollection{books/sp/17/ChenHTWYZZZ17, added-at = {2023-12-12T18:21:29.000+0100}, author = {Chen, Mingshuai and Han, Xiao and Tang, Tao and Wang, Shuling and Yang, Mengfei and Zhan, Naijun and Zhao, Hengjun and Zou, Liang}, biburl = {https://www.bibsonomy.org/bibtex/20b349f9a3bfe3dd19e114e722be6548e/admin}, booktitle = {Provably Correct Systems}, crossref = {books/sp/HBO2017}, editor = {Hinchey, Michael G. and Bowen, Jonathan P. and Olderog, Ernst-Rüdiger}, ee = {https://doi.org/10.1007/978-3-319-48628-4_3}, interhash = {111ce16598f944fd72cb0e9c35e9e00e}, intrahash = {0b349f9a3bfe3dd19e114e722be6548e}, isbn = {978-3-319-48628-4}, keywords = {}, pages = {39-58}, publisher = {Springer}, series = {NASA Monographs in Systems and Software Engineering}, timestamp = {2023-12-12T18:21:29.000+0100}, title = {MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/books/collections/HBO2017.html#ChenHTWYZZZ17}, year = 2017 }