| Techreport |
| Type of Publication |
| Implementation of Estelle Specifications on the
KSR1 |
| Title |
|
| Authors |
| Technical Report TR-93-035, Department for Mathematics and Computer Science,
University of Mannheim, 1993 |
| Published in |
| [PDF]
[BIB] [XML] |
| Downloads & Bib-Entries |
