%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
%B Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances
%D 2012
%I ThinkMind
%F Mari_etal2012
%O exported from refbase (show.php?record=15), last updated on Thu, 07 Nov 2013 15:09:13 +0100
%U papers/mari/2012/15_Mari_etal2012.pdf
%P 664-671