Deriving a protocol converter. A top-down method
- Kenneth L. Calvert
- , Simon S. Lam
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
25
Scopus
citations