Automated techniques for specification and validation of communications protocols /
Main Author: | |
---|---|
Language: | English |
Published: |
The Ohio State University / OhioLINK
1983
|
Subjects: | |
Online Access: | http://rave.ohiolink.edu/etdc/view?acc_num=osu1487240083948155 |
Description not available. |