Ziadi04a

Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Loïc Hélouët http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

BibTex Reference

@InProceedings{Ziadi04a,
   Author = {Ziadi, Tewfik and Hélouët, Loïc and Jézéquel, Jean-Marc},
   Title = {Revisiting Statechart Synthesis with an Algebraic Approach},
   BookTitle = {Proc. of ICSE 2004},
   Month = {},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)