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

Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Browse the full ICCD paper archive.