Languages
Jump To : Overview | Titles | Subjects

Chaudhuri, Swarat.

Overview
Works: 3 works in 2 publications in 1 languages
Titles
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / by: SpringerLink (Online service); Chaudhuri, Swarat.; Farzan, Azadeh. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II / by: SpringerLink (Online service); Chaudhuri, Swarat.; Farzan, Azadeh.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / by: Farzan, Azadeh.; SpringerLink (Online service); Chaudhuri, Swarat. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I / by: SpringerLink (Online service); Chaudhuri, Swarat.; Farzan, Azadeh.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
 
 
Change password
Login