Sciweavers

CONCUR
2008
Springer

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

13 years 6 months ago
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Comments (0)