Results 1 -
0 of
0
No citations were found for this document.
Gamma and the Logic of Transition Traces (1997)
by S. J. Gay, C. L. Hankin
| Venue: | Advances in Theory and Formal Methods of Computing. Imperial |
