Polyglot: Systematic Analysis for Multiple Statechart Formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry

Browse the full TACAS paper archive.