Authors: Juan Quemada David de Frutos Arturo Azcorra

Citation: Juan Quemada et al., TIC:a timed calculus, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 224-252