Incremental Protocol Verfication Using Deductive Database Systems.

I-En Liao, Ming T. Liu

Browse the full ICDE paper archive.