Verification of Real-Time Systems by Abstraction of Time Constraints.

Mustapha Bourahla Mohamed Benmohamed Verification of Real-Time Systems by Abstraction of Time Constraints. 238 2003 conf/ipps/2003 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2003/1926/00/19260238aabs.htm db/conf/ipps/ipdps2003.html#BourahlaB03