Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Finkbeiner, Bernd.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: Pu, Geguang.; Zhang, Lijun.; Workshop on the Preservation of Stability under Discretization ((2001 :); Finkbeiner, Bernd.; SpringerLink (Online service) (Language materials, printed)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by: Cégielski, Patrick.; Finkbeiner, Bernd.; Droste, Manfred.; Blass, Andreas.; SpringerLink (Online service); Dershowitz, Nachum. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / by: SpringerLink (Online service); Finkbeiner, Bernd.; Zhang, Lijun.; Pu, Geguang. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by: Wies, Thomas.; SpringerLink (Online service); Finkbeiner, Bernd. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: SpringerLink (Online service); Mariani, Leonardo.; Finkbeiner, Bernd. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Fields of Logic and Computation II = Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: SpringerLink (Online service); Beklemishev, Lev D.; Blass, Andreas.; Dershowitz, Nachum.; Finkbeiner, Bernd.; Schulte, Wolfram. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login