![](/img/cover-not-exists.png)
Generating efficient protocol code from an abstract specification
Castelluccia, C., Dabbous, W., O'Malley, S.Volume:
5
Language:
english
Journal:
IEEE/ACM Transactions on Networking
DOI:
10.1109/90.649465
Date:
January, 1997
File:
PDF, 160 KB
english, 1997