Statistics
Publications
1
Citations
433
H-Index
1
Active since
1986
Affiliations
The University of Texas at Austin(Current)
Chin Laung Lei is an author at The University of Texas at Austin specializing in automated model checking, formal methods, and computing.
Publications per year
1986–1986
1
1
1–1 of 1