Bibtex de la publication

@InProceedings{ Ch2015.18,
author = {Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe},
title = "{Automated Verification of Asynchronous Communicating Systems with TLA+ (regular paper)}",
booktitle = "{International Workshop on Automated Verification of Critical Systems (AVOCS), Edinburgh, Scotland, UK, 01/09/15-04/09/15}",
year = {2015},
month = {septembre},
publisher = {Electronic Communications of the EASST},
address = {http://eceasst.cs.tu-berlin.de/},
pages = {(on line)},
language = {anglais},
URL = {http://journal.ub.tu-berlin.de/eceasst/issue/view/87}
}