@conference {265,
	title = {Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking},
	booktitle = {Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.},
	year = {2014},
	doi = {10.4204/EPTCS.139.8},
	url = {http://dx.doi.org/10.4204/EPTCS.139.8},
	author = {Gast{\'o}n Scilingo and Mar{\'\i}a Marta Novaira and Degiovanni, Renzo}
}