Statistics
Publications
7
Citations
383
H-Index
7
Active since
1996
Affiliations
Taeshin Park is an author at Massachusetts Institute of Technology specializing in computer science, computing, and model checking.
Publications per year
1996–2020
7
7
Taeshin Park, Jung‐Ha Lee, Hyun-Kyu Kim et al. · FEMS Microbiology Letters · 1999 · 22 citations
Implicit model checking of logic‐based control systems
Taeshin Park, Paul I. Barton · AIChE Journal · 1997 · 21 citations
1–5 of 7