Verifying the performance of the PCI local bus using symbolic techniques.

Sérgio Vale Aguiar Campos Edmund M. Clarke Wilfredo R. Marrero Marius Minea Verifying the performance of the PCI local bus using symbolic techniques. 72-78 1995 conf/iccd/1995 ICCD http://computer.org/proceedings/iccd/7165/71650072abs.htm db/conf/iccd/iccd1995.html#CamposCMM95