LEADER 01219nam  2200373   450 
001 9910412072903321
005 20230821111344.0
035   $a(CKB)5280000000243251
035   $a(NjHacI)995280000000243251
035   $a(EXLCZ)995280000000243251
100   $a20230821d2020      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the 23rd International Conference on Hybrid Systems $eComputation and Control /$fAaron Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh
210  1$aNew York, NY :$cAssociation for Computing Machinery,$d2020.
210  4$dİ2020
215   $a1 online resource
311   $a1-4503-7018-7 
517   $aProceedings of the 23rd International Conference on Hybrid Systems
606   $aComputer science
615  0$aComputer science.
676   $a004
700   $aAmes$b Aaron$01384828
702   $aSeshia$b Sanjit A.
702   $aDeshmukh$b Jyotirmoy
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910412072903321
996   $aProceedings of the 23rd International Conference on Hybrid Systems$93431604
997   $aUNINA