01219nam 2200373 450 991041207290332120230821111344.0(CKB)5280000000243251(NjHacI)995280000000243251(EXLCZ)99528000000024325120230821d2020 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 23rd International Conference on Hybrid Systems Computation and Control /Aaron Ames, Sanjit A. Seshia, Jyotirmoy DeshmukhNew York, NY :Association for Computing Machinery,2020.©20201 online resource1-4503-7018-7 Proceedings of the 23rd International Conference on Hybrid SystemsComputer scienceComputer science.004Ames Aaron1384828Seshia Sanjit A.Deshmukh JyotirmoyNjHacINjHaclBOOK9910412072903321Proceedings of the 23rd International Conference on Hybrid Systems3431604UNINA