Automatic Temporal Verification of Buffer Systems (1991)

by A P Sistla, L D Zuck
Venue:In CAV