A Parallel Database-driven Protocol Verification System Prototype.

Ophir Frieder A Parallel Database-driven Protocol Verification System Prototype. 245-264 1992 22 Softw., Pract. Exper. 3 db/journals/spe/spe22.html#Frieder92