CkTail: Model Learning of Communicating Systems

sébastien Salva, Elliott Blot
January, 2020
PDF Cite DOI
Type
1
Publication
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020