@article{oai:tsukuba.repo.nii.ac.jp:00056312, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {Zentralblatt MATH}, month = {}, title = {a review of Formal composition of hybrid systems by Culbertson, Jared; Gustafson, Paul; Koditschek, Daniel E.; Stiller, Peter F.}, year = {2020}, yomi = {ニシムラ, ヒロカズ} }