Search results for: Insup Lee
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 1-18
IEEE Transactions on Industrial Informatics > 2010 > 6 > 4 > 568 - 578
Journal of Logic and Algebraic Programming > 2007 > 72 > 1 > 98-122
Science of Computer Programming > 2002 > 42 > 1 > 49-60
Real-Time Systems > 1998 > 15 > 3 > 189-219