Bibtex de la publication

@Article{ BoFi1997.8,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Towards the automatic verification of atomic memory protocols}",
journal = {Parallel Processing Letter},
publisher = {M. Cosnard},
year = {1997},
volume = {7},
number = {1},
pages = {101--112}
}