BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-234599,
    author = {Grosu, Radu and Bogomolov, Sergiy and Frehse, Goran and Greitschus, Marius and Pasareanu, Corina and Podelski, Andreas and Strump, Thomas},
    title = {Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems},
    booktitle = {Proc. of HVC'14, the Haifa Verification Conference},
    year = {2014},
    url = {http://ti.tuwien.ac.at/cps/people/grosu/files/hvc14.pdf},
    note = {talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 -- 2014-11-20}
}


1 Datensatz ausgegeben