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


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

info visites 3899616