Cassez06

F. Cassez, T. Chatain, C. Jard. Symbolic unfoldings for networks of timed automata. In Proc. of ATVA'06, 2006.

Keywords

[ Partial orders ] [ Unfolding ]

Contact

Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{Cassez06,
   Author = {Cassez, F. and Chatain, T. and Jard, C.},
   Title = {Symbolic unfoldings for networks of timed automata},
   BookTitle = {Proc. of ATVA'06},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)