tCJ-CI40

L. Tanguy, C. Viho, C. Jard. Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. In ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), TH. Lai (ed.), Pages 0-0, Taipei, Taiwan, April 2000.

Keyword

[ Monitoring ]

Contact

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

BibTex Reference

@InProceedings{tCJ-CI40,
   Author = {Tanguy, L. and Viho, C. and Jard, C.},
   Title = {Synthesizing Coordination Procedures for Distributed Testing of Distributed    Systems},
   BookTitle = {ICDCS Workshop Distributed System Validation and Verification (DSVV'2000)},
   editor = {Lai, TH.},
   Pages = {0--0},
   Publisher = {IEEE Computer Society},
   Address = {Taipei, Taiwan},
   Month = {April},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)