. (2016). Towards Model Checking of Implantable Cardioverter Defibrillators. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/2883817.2883841
Kuk Jiang
First name
Kuk
Middle name
Jin
Last name
Jiang