%0 Journal Article
%A Choe, Changil
%A O., Hyong-Chol
%A Han, Song
%T Approximate Model Checking of Real-Time Systems for Linear Duration Invariants
%J Serdica Journal of Computing
%D 2013
%P 1-12
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2013_7_1_a0/
%G en
%F SJC_2013_7_1_a0