Jump to : Keywords | Contact | BibTex reference | EndNote reference |

Ziadi04a

T. Ziadi, L. Hélouet, JM. Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@InProceedings{Ziadi04a,
   Author = {Ziadi, T. and Hélouet, L. and Jézéquel, JM.},
   Title = {Revisiting Statechart Synthesis with an Algebraic Approach},
   BookTitle = {Proc. of ICSE 2004},
   Month = {},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)