Statistics
Publications
1
Citations
52
H-Index
1
Active since
2002
Affiliations
University of Waterloo(Current)
T. Sreemani is an author at University of Waterloo specializing in symbolic model checking, state-space analysis, and systems modeling.
Publications per year
2002–2002
1
1
1–1 of 1