@InProceedings{Mari_etal2012,
author="Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
title="Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems",
booktitle="Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances",
year="2012",
publisher="ThinkMind",
pages="664--671",
optnote="exported from refbase (show.php?record=15), last updated on Thu, 07 Nov 2013 15:09:13 +0100",
file=":papers/mari/2012/15\textit{Mari}etal2012.pdf:PDF"
}