@entry{gra-gri-bar-06-aa-semisym, author = {D Grabowski and C Grimm and E Barke}, title = {Semi-symbolic modeling and simulation of circuits and systems}, journal = {2006 IEEE International ...,}, volume = {}, number = {}, pages = {}, year = 2006, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/1692752/?casa_token=9WQRBUe1QkYAAAAA:EA0_XruP423E4NCJDSP59WpI5Q74h7NOF3XUsa5gLCVVZyPO86k-CmKYHfeIuwfNDlSrd1TD}}}, quotes = {... , the semi-symbolic simulation affine arithmetic. needs only a single ... with Symbols analysis using affine arithmetic. As results of ... the equation system with affine arithmetic where p is the ...} }