Testing real-time systems using uppaal (0)

by A Hessel, K G Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Venue:in Formal Methods and Testing, ser. LNCS