Verimag

bibtex

@inproceedings{DMB+12,
    title = { On Temporal Logic and Signal Processing },
    author = {Donz\'e, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott},
    year = {2012},
    booktitle = {ATVA},
    team = {TEMPO},
}

URL

PDF

Sections de Publications


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

info visites 914875