Bibtex de la publication

@Article{ Ch2015.31,
author = {Chevrou, Florent and Hurault, Aurélie and Quéinnec, Philippe},
title = "{Automated Verification of Asynchronous Communicating Systems with TLA+}",
journal = {Electronic Communications of the EASST, Proceedings of the 15th International Workshop on Automated Verification of Critical Systems},
publisher = {Electronic Communications of the EASST},
address = {http://eceasst.cs.tu-berlin.de/},
year = {2015},
volume = {72},
pages = {(on line)},
language = {anglais},
URL = {http://journal.ub.tu-berlin.de/eceasst/issue/view/87 - http://oatao.univ-toulouse.fr/16909/}
}