Verimag

bibtex

@article{BFG+00,
    title = {Verification and test generation for the SSCOP protocol },
    author = {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian and Jard, Claude and J\'eron, Thierry and Kerbrat, Alain and Morel, Pierre and Mounier, Laurent},
    year = {2000},
    address = {Amsterdam, The Netherlands, The Netherlands},
    journal = {Sci. Comput. Program},
    number = {1},
    pages = {27--52},
    publisher = {Elsevier North-Holland, Inc},
    volume = {36},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 13 ; visits: 460837