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


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4155444