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,PACSS},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4187555