- Title
- Recursion Induction for Real-Time Processes.
- Creators
- J DaviesS Schneider
- Publication Details
- Formal Aspects of Computing, Vol.5(6), pp.530-553
- Date published
- 1994
- Date submitted
- 17/05/2017
- Identifiers
- 99516169802346
- Academic Unit
- University of Surrey
- Resource Type
- Journal article
Journal article
Recursion Induction for Real-Time Processes.
Formal Aspects of Computing, Vol.5(6), pp.530-553
1994
Metrics
19 Record Views