bibtex

@inproceedings{FMN5,
    title = {Trace Diagnostics Using Temporal Implicants },
    author = {Ferr\'ere, Thomas and Maler, Oded and Nickovic, Dejan},
    month = {10},
    year = {2015},
    booktitle = {Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015},
    pages = {241-258},
    team = {TEMPO},
}

Publication Sections


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

info visites 1329487