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