%0 Conference Proceedings %T Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems %A Mari, Federico %A Melatti, Igor %A Salvo, Ivano %A Tronci, Enrico %S Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances %D 2012 %I ThinkMind %F Mari_etal2012 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=98), last updated on Fri, 23 Nov 2012 18:09:52 +0100 %U http://mclab.di.uniroma1.it/publications/papers/mari/2012/98_Mari_etal2012.pdf %P 664-671