I agree that this site is using cookies. You can find further informations here.
X
Finkbeiner, Bernd
7  results:
E-Books X
Search for persons X
?
1

Verification, Model Checking, and Abstract Interpretation: .. 

Theoretical Computer Science and General Issues, 13182
Finkbeiner, Bernd ; Wies, Thomas - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
2

Fields of Logic and Computation III: Essays Dedicated to Yu.. 

Programming and Software Engineering, 12180
Blass, Andreas ; Cégielski, Patrick ; Dershowitz, Nachum.. - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
3

Runtime Verification: 19th International Conference, RV 201.. 

Programming and Software Engineering, 11757
Finkbeiner, Bernd ; Mariani, Leonardo - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
4

Automated Technology for Verification and Analysis 

13th International Symposium, ATVA 2015, Shanghai, China, O...  Lecture Notes in Computer Science ; 9364;SpringerLink, Bücher
Finkbeiner, Bernd ; Pu, Geguang ; Zhang, Lijun - 1st ed. 2015 . , 2015
Link: https://doi.org/10.1007/..
 
?
5

Fields of Logic and Computation II 

Essays Dedicated to Yuri Gurevich on the Occasion of His 75...  Lecture Notes in Computer Science ; 9300;SpringerLink, Bücher
Beklemishev, Lev D. ; Blaß, Andreas ; Finkbeiner, Bernd.. - 1st ed. 2015 . , 2015
Link: https://doi.org/10.1007/..
 
?
6

Runtime verification 

first international conference, RV 2010, St. Julians, Malta...  Lecture notes in computer science ; 6418
Barringer, Howard ; Falcone, Ylies ; Finkbeiner, Bernd... , 2010
Link: http://dx.doi.org/10.100..
 
?
7

Lehrerausbildung in vernetzten Lernumgebungen:

Tesch, Bernd ; Gröschner, Alexander ; Overwien, Bernd... , 2018
Link: https://elibrary.utb.de/..
 
1-7