Travelled to:1 × USA
Collaborated with:∅
Talks about:program (1) infinit (1) concurr (1) automat (1) theori (1) tempor (1) verif (1) state (1)
Person: Tong G. Tang
DBLP: Tang:Tong_G=
Contributed to:
1989Wrote 1 papers:
- SEKE-1989-Tang #automation #concurrent #infinity #source code #verification
- Temporal Theory for Automatic Verification of Infinite State Concurrent Programs (TGT), pp. 134–139.