Sciweavers

TSE
2010

Learning Communicating Automata from MSCs

13 years 6 months ago
Learning Communicating Automata from MSCs
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern
Added 22 May 2011
Updated 22 May 2011
Type Journal
Year 2010
Where TSE
Authors Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Comments (0)