David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani. A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw., 1(2):217-229, 1993. [doi]
@article{KristolLNS93,
title = {A polynomial algorithm for gateway generation from formal specifications},
author = {David M. Kristol and David Lee and Arun N. Netravali and Krishan K. Sabnani},
year = {1993},
url = {http://portal.acm.org/citation.cfm?id=153377.153383},
researchr = {https://researchr.org/publication/KristolLNS93},
cites = {0},
citedby = {0},
journal = {IEEE/ACM Trans. Netw.},
volume = {1},
number = {2},
pages = {217-229},
}