Talks and Poster Presentations (with Proceedings-Entry):

R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump:
"Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems";
Talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Proc. of HVC'14, the Haifa Verification Conference", (2014).

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.