author : Mike Jones

Short works

• Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 2002. (In ZB 2002 )