TY - CONF AU - Mari, Federico AU - Melatti, Igor AU - Salvo, Ivano AU - Tronci, Enrico PY - 2012// TI - Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems BT - Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances SP - 664 EP - 671 PB - ThinkMind L1 - papers/mari/2012/15_Mari_etal2012.pdf N1 - exported from refbase (show.php?record=15), last updated on Thu, 07 Nov 2013 15:09:13 +0100 ID - Mari_etal2012 ER -