Taehoon Lee (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Taehoon Lee, Mintaek Cho, Gihwon Kwon: Using Bounded Model Checking with BOGOR. SERA 2007: 863-870

4 Taehoon Lee, Gihwon Kwon, Hyuksoo Han: CTL Model Checking for Boolean Program. ICCSA (4) 2006: 1081-1089

3 Gihwon Kwon, Taehoon Lee: Solving Box-Pushing Games via Model Checking with Optimizations. ATVA 2004: 491-494

Selection of 3 from 5 records - Taehoon Lee has 7 coauthors

5		Taehoon Lee, Mintaek Cho, Gihwon Kwon: Using Bounded Model Checking with BOGOR. SERA 2007: 863-870
4		Taehoon Lee, Gihwon Kwon, Hyuksoo Han: CTL Model Checking for Boolean Program. ICCSA (4) 2006: 1081-1089
3		Gihwon Kwon, Taehoon Lee: Solving Box-Pushing Games via Model Checking with Optimizations. ATVA 2004: 491-494