341986

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier. Verification and test generation for the SSCOP protocol. Sci. Comput. Program, 36(1):27-52, 2000.

Download

Download paper: Doi page

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Model-based verification techniques ]

BibTex Reference

@article{341986,
   Author = {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian and Jard, Claude and Jéron, Thierry and Kerbrat, Alain and Morel, Pierre and Mounier, Laurent},
   Title = {Verification and test generation for the SSCOP protocol},
   Journal = {Sci. Comput. Program},
   Volume = {36},
   Number = {1},
   Pages = {27--52},
   Publisher = {Elsevier North-Holland, Inc},
   Address = {Amsterdam, The Netherlands, The Netherlands},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)