Taehoon Lee

Affiliations:

According to our database¹, Taehoon Lee authored at least 3 papers between 2004 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Using Bounded Model Checking with BOGOR.

[BibT_eX]

[DOI]

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

2006

CTL Model Checking for Boolean Program.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2006

2004

Solving Box-Pushing Games via Model Checking with Optimizations.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004