Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano. Handling special constructs in symbolic simulation. In Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002. pages 105-110, ACM, 2002. [doi]
Abstract is missing.