Wang Yi

3 published titles

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2

(Contributor)

1 edition

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

(Contributor)

1 edition

Dependable software engineering : theories, tools, and applications : first international symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings

(Contributor)

1 edition