Search results for: Insup Lee
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 1-18
Theoretical Computer Science > 2012 > 413 > 1 > 2-20
Real-Time Systems > 2009 > 43 > 1 > 25-59
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 1-18
Theoretical Computer Science > 2012 > 413 > 1 > 2-20
Real-Time Systems > 2009 > 43 > 1 > 25-59