Bibtex de la publication

@InProceedings{ Ch2016.4,
author = {Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Quéinnec, Philippe},
title = "{Mechanized Refinement of Communication Models with TLA+ (regular paper)}",
booktitle = "{International ABZ Conference, Linz, Austria, 23/05/16-27/05/16}",
year = {2016},
month = {mai},
publisher = {Springer},
address = {http://www.springerlink.com},
volume = {9675},
series = {Lecture Notes in Computer Science},
pages = {312--318},
language = {anglais},
URL = {http://queinnec.perso.enseeiht.fr/publis/ABZ2016.pdf - http://oatao.univ-toulouse.fr/16917/}
}