Verimag

bibtex

@inproceedings{NLM+8,
    title = {{AMT} 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic },
    author = {Nickovic, Dejan and Lebeltel, Olivier and Maler, Oded and Ferr\'ere, Thomas and Ulus, Dogan},
    year = {2018},
    booktitle = {Tools and Algorithms for the Construction and Analysis ({TACAS})},
    pages = {303--319},
    team = {TEMPO},
}

Publication Sections


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

info visites 1054707