Bibtex de la publication

@InProceedings{ BaMeSe1995.3,
author = {Bahsoun, Jean-Paul and Merz, S and Servières, Christine},
title = "{Modular description and verification of concurrent objects}",
booktitle = "{First FJ Workshop in Distributed and Concurrent Objects, Tokyo, Japan, }",
year = {1995},
month = {juin},
publisher = {Springer-Verlag, LNCS 1107},
pages = {168--187},
note = { Dates de conférence : juin 1995 1995.}
}