Surrey researchers Sign in
Recursion Induction for Real-Time Processes.
Journal article

Recursion Induction for Real-Time Processes.

J Davies and S Schneider
Formal Aspects of Computing, Vol.5(6), pp.530-553
1994

Abstract

Metrics

19 Record Views

Details

Usage Policy