Media type: E-Article Title: Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures Contributor: Farn Wang imprint: Institute of Electrical and Electronics Engineers (IEEE), 2005 Published in: IEEE Transactions on Software Engineering Language: Not determined DOI: 10.1109/tse.2005.13 ISSN: 0098-5589 Keywords: Software Origination: Footnote: