Verimag

bibtex

@phdthesis{Boz99,
    title = {V\'erification symbolique pour les protocoles de communication },
    author = {Bozga, Marius},
    month = {December},
    year = {1999},
    address = {Grenoble, France},
    type = {Th\`ese de doctorat},
    school = {Universit\'e Joseph Fourier, Grenoble},
    team = {DCS},
}

Publication Sections


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

info visites 806818