author : Ganesh Gopalakrishnan

Short works

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