Skip to main content

Recursion Induction for Real−Time Processes

Jim Davies and Steve Schneider

Journal
Formal Aspects of Computing
Number
6
Pages
530−553
Volume
5
Year
1994