JardIC2

Claude Jard, Olivier-Henri Roux. Systèmes embarqués communicants : Approches formelles. Hermès, Traité IC2, 2008.

Contact

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

BibTex Reference

@Book{JardIC2,
   Author = {Jard, Claude and Roux, Olivier-Henri},
   Title = {Systèmes embarqués communicants : Approches formelles},
   Publisher = {Hermès, Traité IC2},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)