Normal view
MARC view
FORMATS (Conference) (20th : 2022 : Warsaw, Poland) (Meeting Name)
Machine generated authority record
Work cat.: (AT-ISTA)656930: FORMATS (Conference) (20th : 2022 : Warsaw, Poland), Formal modeling and analysis of timed systems :