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