@entry{rad-16-aa-thesis, author = {C Radojicic}, title = {Symbolic simulation of mixed-signal systems with extended affine arithmetic}, journal = {}, volume = {}, number = {}, pages = {}, year = 2016, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4483}}}, quotes = {... the standard form of Affine Arithmetic. This thesis extends Affine Arithmetic towards crossing ... This work extends Affine Arithmetic towards discrete computations with symbolically repre...} }