iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tse/SidhuL89.xml
Deepinder P. Sidhu Ting-Kau Leung Formal Methods for Protocol Testing: A Detailed Study. 413-426 https://doi.org/10.1109/32.16602 http://doi.ieeecomputersociety.org/10.1109/32.16602 1989 15 IEEE Trans. Software Eng. 4 db/journals/tse/tse15.html#SidhuL89