Languages
Jump To : Overview | Titles | Subjects

Yi, Wang.

Overview
Works: 0 works in 1 publications in 1 languages
Titles
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: Steffen, Bernhard.; Olderog, Ernst-Rüdiger.; SpringerLink (Online service); Yi, Wang. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: Yi, Wang.; SpringerLink (Online service); Steffen, Bernhard.; Olderog, Ernst-Rüdiger. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by: Li, Xuandong.; SpringerLink (Online service); Liu, Zhiming.; Yi, Wang. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Li, Xuandong.; Yi, Wang.; Liu, Zhiming.; SpringerLink (Online service) (Language materials, printed)
 
 
Change password
Login