Verimag

bibtex

@article{BFK+97,
    title = {{P}rotocol {V}erification with the {A}ldebaran {T}oolset },
    author = {Bozga, Marius and Fernandez, Jean-Claude and Kerbrat, Alain and Mounier, Laurent},
    month = {December},
    year = {1997},
    journal = {Software Tools for Technology Transfer},
    number = {1},
    pages = {166--183},
    volume = {1},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 29 ; visites : 449664