Authors: Hans Hansson Bengt Jonsson

Citation: Hans Hansson et Bengt Jonsson, A logic for reasoning about time and reliability, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 512-535