LEADER 01296nam  2200397   450 
001 9910566450603321
005 20230830133345.0
024 7 $a10.1145/3501710
035   $a(CKB)5840000000022992
035   $a(NjHacI)995840000000022992
035   $a(EXLCZ)995840000000022992
100   $a20230830d2022      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aHSCC '22 $eProceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control /$fEzio Bartocci, Sylvie Putot
210  1$aNew York, NY :$cAssociation for Computing Machinery,$d2022.
215   $a1 online resource (265 pages)
311   $a1-4503-9196-6 
517   $aProceedings of the 25th ACM International Conference on Hybrid Systems
517   $a25th ACM International Conference on Hybrid Systems
606   $aHybrid computers$vCongresses
606   $aHybrid systems$vCongresses
615  0$aHybrid computers
615  0$aHybrid systems
676   $a004.19
700   $aBartocci$b Ezio$0905456
702   $aPutot$b Sylvie
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910566450603321
996   $aHSCC '22$93497435
997   $aUNINA