Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker

Browse the full CONCUR paper archive.