TY - CONF AU - Mari, Federico AU - Melatti, Igor AU - Salvo, Ivano AU - Tronci, Enrico PY - 2012 DA - 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 - http://mclab.di.uniroma1.it/publications/papers/mari/2012/98_Mari_etal2012.pdf N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=98), last updated on Fri, 23 Nov 2012 18:09:52 +0100 ID - Mari_etal2012 ER -