A complete inference system for a class of regular behaviours
Author(s)
Bibliographic Information
A complete inference system for a class of regular behaviours
University of Edinburgh, Department of Computer Science, 1982
- Other Title
-
Internal report: CSR-111-82
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Internal report: CSR-111-82
Includes bibliographical references (p. 31)