%0 Conference Paper %B 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05) %D 2005 %T On the Partitioning of Syntax and Semantics For Hybrid Systems Tools %A Jonathan Sprinkle %A Aaron D. Ames %A Alessandro Pinto %A Haiyang Zheng %A S. Shankar Sastry %B 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05) %P 4694–4699 %8 December %G eng %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1582903