Temporal Theory for Automatic Verification of Infinite State Concurrent Programs.

Tong G. Tang

Browse the full SEKE paper archive.