bibtex

@inproceedings{Ulu7,
    title = {Montre: {A} Tool for Monitoring Timed Regular Expressions },
    author = {Ulus, Dogan},
    year = {2017},
    booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
    pages = {329--335},
    team = {TEMPO},
}


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

info visites 3901865