Deepinder P. Sidhu, Carole S. Crall. Executable Logic Specifications for Protocol Service Interfaces. IEEE Trans. Software Eng., 14(1):98-121, 1988. [doi]
@article{SidhuC88,
title = {Executable Logic Specifications for Protocol Service Interfaces},
author = {Deepinder P. Sidhu and Carole S. Crall},
year = {1988},
url = {http://www.computer.org/tse/ts1988/e0098abs.htm},
tags = {protocol, logic},
researchr = {https://researchr.org/publication/SidhuC88},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {14},
number = {1},
pages = {98-121},
}