O, Hyong-Chol

• Serdica Journal of Computing Vol. 7 No. 1 (2013) - Articles
  Approximate Model Checking of Real-Time Systems for Linear Duration Invariants
  Abstract  PDF