Minimally adequate teacher synthesizes statechart diagrams

Erkki Mäkinen, Tarja Systä. Minimally adequate teacher synthesizes statechart diagrams. Acta Informatica, 38(4):235-259, 2002. [doi]

Abstract

Abstract is missing.