TY  - JOUR
AU  - Choe, Changil
AU  - O., Hyong-Chol
AU  - Han, Song
TI  - Approximate Model Checking of Real-Time Systems for Linear Duration Invariants
JO  - Serdica Journal of Computing
PY  - 2013
SP  - 1
EP  - 12
VL  - 7
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJC_2013_7_1_a0/
LA  - en
ID  - SJC_2013_7_1_a0
ER  -