Statistics
Publications
1
Citations
121
H-Index
1
Active since
1993
Affiliations
Texas A&M University(Current)
T. Park is an author at Texas A&M University specializing in formal methods, verification, and cluster computing.
Publications per year
1993–1993
1
1