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

@inproceedings{TUW-212953,
    author = {Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas},
    title = {A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx},
    booktitle = {Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification},
    year = {2012},
    pages = {479--494},
    publisher = {LNCS / Springer},
    address = {7358},
    url = {http://publik.tuwien.ac.at/files/PubDat_212953.pdf},
    isbn = {978-3-642-31423-0},
    doi = {10.1007/978-3-642-31424-7{\_}35},
    note = {talk: CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA; 2012-07-07 -- 2012-07-13}
}


1 Datensatz ausgegeben