Tong G. Tang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989

1 Tong G. Tang: Temporal Theory for Automatic Verification of Infinite State Concurrent Programs. SEKE 1989: 134-139