@article{64f14f8a0ba44d519e974b95be51728c,
title = "Protocol validation for large-scale applications",
author = "Fuchun Lin and Liu, {Ming T.}",
year = "1992",
month = jan,
doi = "10.1109/52.108776",
language = "English",
volume = "9",
pages = "23--26",
journal = "IEEE Software",
issn = "0740-7459",
publisher = "IEEE Computer Society",
number = "1",
}