A decomposition method for the analysis and design of finite state protocols
- 1 January 1983
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 13 (4) , 167-176
- https://doi.org/10.1145/800034.800916
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: