Checking parallel real time systems for temporal duration properties by linear programming

VNU JOURNAL OF SCIENCE Nat Sci & Tech T XIX N(,4 2003 C H E C K IN G PA R A L L E L R E A L -T IM E S Y S T E M S F O R T E M P O R A L D U R A T IO N P R O P E R T IE S B Y L IN E A R P R O G R A M M IN G * P h am Hong T hai Fncuỉtv o ỉ Technology, V irtnam National ưnivrrsity lỈHiìoi A b s tr a c t Mnđrl ia.c*€* For simplicit V in tliis p a p o r w