bibtex

@inproceedings{BFG+14,
    title = { Assume-Guarantee Abstraction Refinement Meets Hybrid Systems },
    author = {Bogomolov, Sergiy and Frehse, Goran and Greitschus, Marius and Grosu, Radu and Pasareanu, Corina S. and Podelski, Andreas and Strump, Thomas},
    year = {2014},
    booktitle = {Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings},
    crossref = {DBLP:conf/hvc/2014},
    pages = {116--131},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/hvc/BogomolovFGGPPS14}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4193680