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

International SPIN Workshop (2019 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: International SPIN Workshop (2019 :); Biondi, Fabrizio.; Given-Wilson, Thomas.; Legay, Axel.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login