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

@inproceedings{TUW-233965,
    author = {Aydin Gol, Ebru and Bartocci, Ezio and Belta, Calin},
    title = {A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems},
    booktitle = {Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control},
    year = {2014},
    pages = {108--113},
    publisher = {IEEE},
    isbn = {978-1-4799-7746-8},
    doi = {10.1109/CDC.2014.7039367},
    note = {talk: 53rd IEEE Inter. Conference on Decision and Control (CDC), Los Angeles; 2014-12-15 -- 2014-12-17}
}


1 Datensatz ausgegeben