bibtex

@inproceedings{BFG+7,
    title = {Counterexample-Guided Refinement of Template Polyhedra },
    author = {Bogomolov, Sergiy and Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A.},
    year = {2017},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software},
    pages = {589--606},
    team = {TEMPO},
}


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

info visites 4182785