Recursion Induction for Real−Time Processes
Jim Davies and Steve Schneider
Details
| Journal |
Formal Aspects of Computing |
| Number |
6 |
| Pages |
530−553 |
| Volume |
5 |
| Year |
1994 |
Links
Related pages
|
People |