Authors: Jim Davies Steve Schneider

Citation: Jim Davies et Steve Schneider, Recursion induction for real-time processes, Formal aspects of computing The international journal of formal methods , 5(6), 1993, pp. 530-553