語系
跳至 : 概要 | 書目資訊 | 主題

Esparza, Javier.

概要
作品: 6 作品在 3 項出版品 1 種語言
書目資訊
Automated technology for verification and analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / by: Esparza, Javier.; SpringerLink (Online service); Chen, Yu-Fang.; ATVA (Symposium) (2019 :); Cheng, Chih-Hong. (書目-電子資源)
Logics and languages for reliability and security by: Esparza, Javier.; Spanfelner, Bernd.; Grumberg, Orna. (書目-語言資料,印刷品)
Application and theory of petri nets 2002 = 23rd International Conference, ICATPN 2002, Adelaide, Australia, June, 24-30, 2002 : proceedings / by: Esparza, Javier.; Lakos, Charles.; SpringerLink (Online service); International Conference on Applications and Theory of Petri Nets (2002 :) (書目-語言資料,印刷品)
Unfoldings = A Partial-Order Approach to Model Checking / by: Heljanko, Keijo.; SpringerLink (Online service); Esparza, Javier. (書目-語言資料,印刷品)
 
 
變更密碼
登入