tCJ-OE6

Technique et science informatiques - Methodes formelles, validation de systemes complexes. Hubert Garavel, Roland Groz, Claude Jard (eds.), Hermes, June 1997.

Keyword

[ Monitoring ]

BibTex Reference

@Book{tCJ-OE6,
   Title = {Technique et science informatiques - Methodes formelles, validation    de systemes complexes},
   editor = {Garavel, Hubert and Groz, Roland and Jard, Claude},
   Volume = {16},
   Publisher = {Hermes},
   Month = {June},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)