Vladimir B. Dmitriev-Zdorov, Bernhard Klaassen. An improved relaxation approach for mixed system analysis with several simulation tools. In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 274-279, IEEE Computer Society, 1995. [doi]
Abstract is missing.