An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
Hi-index | 0.00 |
A counterexample to a theorem given in a paper by T.-Y. Cheung (see ibid., vol.12, no.11, p.1088-9, 1986) is given. In a reply, the author of the original paper argues that the counterexample is not correct