Learning Specifications for Labelled Patterns
- Basset, N.
- Dang, T.
- Mambakam, A.
- Jarabo, J.I.R.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030576271
Año de publicación: 2020
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Proceedings
Volumen: 12288 LNCS
Páginas: 76-93
Tipo: Aportación congreso