| 000 | 00411nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 171207s9999 xx 000 0 und d | ||
| 100 | _aYoon, Sanghyun | ||
| 245 | _aFormal verification of ECML hybrid models with spaceex | ||
| 245 | _cSanghyun Yoon, Junbeom Yoo | ||
| 260 | _c2017 | ||
| 300 | _apages 121-144, August 2017 | ||
| 440 |
_aInformation and Software Technology _v92: |
||
| 650 | _aSOFTWARE TECHNLOGY | ||
| 999 |
_c347634 _d347634 |
||