Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Veith, Helmut', hakuaika: 0,26s Tarkenna hakua
1
25 Years of Model Checking
Tekijä Grumberg, Orna, Veith, Helmut
Julkaistu 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
2
Handbook of Model Checking
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla