Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
Revisiting Statechart Synthesis with an Algebraic Approach
ICSE, 2004.
@inproceedings{ICSE-2004-ZiadiHJ, author = "Tewfik Ziadi and Loïc Hélouët and Jean-Marc Jézéquel", booktitle = "{Proceedings of the 26th International Conference on Software Engineering}", doi = "10.1109/ICSE.2004.1317446", editor = "Anthony Finkelstein and Jacky Estublier and David S. Rosenblum", isbn = "0-7695-2163-0", pages = "242--251", publisher = "{IEEE Computer Society}", title = "{Revisiting Statechart Synthesis with an Algebraic Approach}", year = 2004, }