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


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

info visites 4092499