Bibtex de la publication

@Article{ KoCa1999.1,
author = {Koné, Ousmane and Castanet, Richard},
title = "{Méthodes formelles detest de conformité de protocoles}",
journal = {Technique et science informatiques },
publisher = {Hermes},
year = {1999},
volume = {5},
pages = {1--35}
}