Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

FORMATS (Conference) (2022 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Formal modeling and analysis of timed systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: FORMATS (Conference) (2022 :); Bogomolov, Sergiy.; Parker, David.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login