Jump to : Keyword | Contact | BibTex reference | EndNote reference |

tCJ-RI13

JC Fernandez, C. Jard, T. JÚron, C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, special issue on industrially relevant applications of formal analysis techniques, 1997.

Keyword

[ Monitoring ]

Contact

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

BibTex Reference

@article{tCJ-RI13,
   Author = {Fernandez, JC and Jard, C. and JÚron, T. and Viho, C.},
   Title = {An Experiment in Automatic Generation of Test Suites for Protocols    with Verification Technology},
   Journal = {Science of Computer Programming, special issue on industrially relevant    applications of formal analysis techniques},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)