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

International SPIN Workshop (2024 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings / by: International SPIN Workshop (2024 :); Neele, Thomas.; Wijs, Anton.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login