Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. Verifying the performance of the PCI local bus using symbolic techniques. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 72-78, IEEE Computer Society, 1995. [doi]
Abstract is missing.