Incremental modelling and verification of the PCI Express transaction layer.

Peter Bhm

Browse the full MEMOCODE paper archive.