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

Hillston, J.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings / by: International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (2024 :); Hillston, J.; Soudjani, Sadegh.; Waga, Masaki.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login