Specification of Realtime Systems Using ASTRAL,” (1997)

by A Coen-Porisini, C Ghezzi, R A Kemmerer
Venue:Downloaded on July 09,2010 at 08:25:55 UTC from IEEE Xplore. Restrictions apply.