Tong G. Tang
Temporal Theory for Automatic Verification of Infinite State Concurrent Programs
SEKE, 1989.
@inproceedings{SEKE-1989-Tang, author = "Tong G. Tang", booktitle = "{Proceedings of the First International Conference on Software Engineering and Knowledge Engineering}", pages = "134--139", publisher = "{Knowledge Systems Institute}", title = "{Temporal Theory for Automatic Verification of Infinite State Concurrent Programs}", year = 1989, }