Sam Lin
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1998
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
Proceedings of the Computer Graphics International Conference, 1998