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

@inproceedings{TUW-222135,
    author = {Bogomolov, Sergiy and Donze, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T. and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin},
    title = {Abstraction-Based Guided Search for Hybrid Systems},
    booktitle = {SPIN},
    year = {2013},
    pages = {117--134},
    publisher = {LNCS, Springer},
    address = {7976},
    doi = {10.1007/978-3-642-39176-7{\_}8},
    note = {talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 -- 2013-07-09}
}


1 Datensatz ausgegeben