bibtex

@inproceedings{BFG+2,
    title = {A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx },
    author = {Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin},
    year = {2012},
    booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
    pages = {479-494},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7358},
    team = {TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121953