Revisiting Statechart Synthesis with an Algebraic Approach.

Tewfik Ziadi, Loc Hlout, Jean-Marc Jzquel

Browse the full ICSE paper archive.