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},
}


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

info visites 4191122