@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 (http://mclab.di.uniroma1.it/publications/show.php?record=98), last updated on Fri, 23 Nov 2012 18:09:52 +0100",
file=":http://mclab.di.uniroma1.it/publications/papers/mari/2012/98_Mari_etal2012.pdf:PDF"
}