2015

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

ATVA (Symposium) (13th : 2015 : Shanghai, China)

Cham : Springer, 2015

 

2020

Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings

SETTA (Symposium) (6th : 2020 : Guangzhou, China)

Cham, Switzerland : Springer, [2020]

 

2020

Discrete-Time and Discrete-Space Dynamical Systems

Zhang, Kuize

Cham : Springer, 2020

 

2019

Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (25th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer Open, 2019

 

2019

Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (25th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer, 2019