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