CkTail: Model Learning of Communicating Systems.

Sbastien Salva, Elliott Blot

Browse the full ENASE paper archive.