@INPROCEEDINGS {
	AUTHOR = "Benjamin Weyers and Wolfram Luther and Nelson Baloian",
	TITLE = "Cooperative Model reconstruction for Cryptographic Protocols using Visual Languages",
	EDITOR = "Luis Carri and co and Nelson Baloian and Benjamin Fonseca",
	BOOKTITLE = "15th Collaboration Researchers' International Workshop on Groupware (CRIWG)",
	PAGES = "311-318",
	MONTH = "Sep",
	YEAR = "2009",
	ADDRESS = "Peso da Regua, Portugal",
	PUBLISHER = "Springer-Verlag",
	SERIES ="Lecture Notes in Computer Science",
	NUMBER = "5784",
	ISBN = "978-3-642-04215-7",
	}