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 | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4087296