tCJ-RI17

C. Jard, T. Jeron. An Educational Case Study in Protocol Verification and Distributed Observation. Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000.

Keyword

[ Monitoring ]

Contact

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

BibTex Reference

@article{tCJ-RI17,
   Author = {Jard, C. and Jeron, T.},
   Title = {An Educational Case Study in Protocol Verification and Distributed    Observation},
   Journal = {Journal of Computer Science Education, ECASP Special Issue},
   Volume = {10},
   Number = {3},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)