Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on (1999)

by I SMARANDACHE, T GAUTIER, P LE GUERNIC
Venue:Clock Synchronisation Constraints., in "World Congress on Formal Methods (FM’99), Volume 1709 of LNCS