Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
Recursion induction for real-time processes
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
Risultati:
1-1
|