Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda. Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. In Christian Berger 0001, Mohammad Reza Mousavi, Rafael Wisniewski, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Volume 10107 of Lecture Notes in Computer Science, pages 17-30, Springer, 2016. [doi]
@inproceedings{BetsunoMU16,
title = {Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection},
author = {Kenichi Betsuno and Shota Matsumoto and Kazunori Ueda},
year = {2016},
doi = {10.1007/978-3-319-51738-4_2},
url = {http://dx.doi.org/10.1007/978-3-319-51738-4_2},
researchr = {https://researchr.org/publication/BetsunoMU16},
cites = {0},
citedby = {0},
pages = {17-30},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers},
editor = {Christian Berger 0001 and Mohammad Reza Mousavi and Rafael Wisniewski},
volume = {10107},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-51737-7},
}