Authors: YOUNIS MF TSAI G MARLOWE TJ STOYEN AD

Citation: Mf. Younis et al., FORMAL VERIFICATION OF COMPILER TRANSFORMATIONS FOR SPECULATIVE REAL-TIME EXECUTION, Automatica (Oxford), 34(8), 1998, pp. 939-952

Authors: STOYENKO AD MARLOWE TJ YOUNIS MF

Citation: Ad. Stoyenko et al., A LANGUAGE FOR COMPLEX REAL-TIME SYSTEMS, Computer journal, 38(4), 1995, pp. 319-338