%0 Journal Article %1 journals/infsof/YoonY17 %A Yoon, Sanghyun %A Yoo, Junbeom %D 2017 %J Inf. Softw. Technol. %K dblp %P 121-144 %T Formal verification of ECML hybrid models with spaceex. %U http://dblp.uni-trier.de/db/journals/infsof/infsof92.html#YoonY17 %V 92

@article{journals/infsof/YoonY17, added-at = {2022-08-16T00:00:00.000+0200}, author = {Yoon, Sanghyun and Yoo, Junbeom}, biburl = {https://www.bibsonomy.org/bibtex/2d0db06a6e5482707122104c65ebf77cd/dblp}, ee = {https://www.wikidata.org/entity/Q113317072}, interhash = {79b2793673dcf91c3937d33d64ad7e15}, intrahash = {d0db06a6e5482707122104c65ebf77cd}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, pages = {121-144}, timestamp = {2024-04-09T04:47:19.000+0200}, title = {Formal verification of ECML hybrid models with spaceex.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof92.html#YoonY17}, volume = 92, year = 2017 }