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
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
6
Year of publication
1993
Pages
530 - 553
Database
ACNP
SICI code