Bibtex de la publication

@InProceedings{ Ma2012.30,
author = {Mauran, Philippe and Quéinnec, Philippe and Thirioux, Xavier},
title = "{Teaching Transition Systems and Formal Specifications with TLA+ (regular paper)}",
booktitle = "{International Workshop on the TLA+ Method and Tools, Paris, France, 27/08/2012}",
year = {2012},
month = {août},
publisher = {Kent State UNiversity},
address = {http://www.kent.edu},
pages = {(electronic medium)},
language = {anglais},
URL = {http://queinnec.perso.enseeiht.fr/publis/TLA2012.pdf}
}