bibtex

@inproceedings{BDM+0,
    title = {Learning Specifications for Labelled Patterns },
    author = {Basset, Nicolas and Dang, Thao and Mambakam, Akshay and Jarabo, Jos{\'e} Ignacio Requeno},
    year = {2020},
    booktitle = {Formal Modeling and Analysis of Timed Systems},
    address = {Cham},
    pages = {76--93},
    publisher = {Springer International Publishing},
    team = {axe_Mohytos, TEMPO},
}


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

info visites 1738308