Formats08

Franck Cassez, Claude Jard. The 6th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2008. Springer-Verlag, LNCS 5215, 2008.

Contact

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

BibTex Reference

@Book{Formats08,
   Author = {Cassez, Franck and Jard, Claude},
   Title = {The 6th International Conference on Formal Modelling and Analysis    of Timed Systems, FORMATS 2008},
   Publisher = {Springer-Verlag, LNCS 5215},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)