%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