%0 Generic
%T Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
%A Farn Wang
%I Institute of Electrical and Electronics Engineers (IEEE)
%@ 0098-5589
%K Software
%D 2005
%C Institute of Electrical and Electronics Engineers (IEEE)
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation