PROTOCOL SPECIFICATION
Experts
- Richard Lai
- Gregor von Bochmann
- Shaoying Liu
- Jonathan Billington
- Teruo Higashino
- Raymond E. Miller
- Krishan K. Sabnani
- Kenichi Taniguchi
- Chung-Ming Huang
- Lars Michael Kristensen
- Gwen Salaün
- A. Udaya Shankar
- Behçet Sarikaya
- Simon S. Lam
- Tohru Kikuno
- Erik Guttman
- Henning Schulzrinne
- Robert L. Probert
- Carl A. Sunshine
- Ana R. Cavalli
- Yoshiaki Kakuda
- Cristina Baroglio
- Viviana Patti
- Mark Handley
- David L. Dill
- Matteo Baldoni
- Peter Müller
- Mohamed G. Gouda
- Kazuhiro Ogata
- Jenq-Muh Hsu
- Kassem Saleh
- Jean-Pierre Courtiat
- Deepinder P. Sidhu
- Parosh Aziz Abdulla
- Hubert Garavel
- Bruno Blanchet
- Bengt Jonsson
- Ying Zhang
- Wei-Ngan Chin
Venues
- RFC
- CoRR
- PSTV
- FORTE
- IEEE Trans. Software Eng.
- Electron. Notes Theor. Comput. Sci.
- Comput. Commun.
- IACR Cryptol. ePrint Arch.
- SIGCOMM
- CAV
- J. Syst. Softw.
- ICDCS
- APSEC
- FMCAD
- Comput. Networks
- IEEE Trans. Commun.
- SAC
- Comput. Commun. Rev.
- IEEE Access
- ICNP
- FM
- IEEE J. Sel. Areas Commun.
- TASE
- Formal Methods Syst. Des.
- SEKE
- Int. J. Softw. Tools Technol. Transf.
- Formal Aspects Comput.
- ICFEM
- ASE
- INFOCOM
- Protocol Specification, Testing, and Verification
- Sci. Comput. Program.
- IEEE Trans. Computers
- DATE
- IEEE/ACM Trans. Netw.
- Microprocess. Microprogramming
- ACM SIGSOFT Softw. Eng. Notes
- Theor. Comput. Sci.
- Inf. Softw. Technol.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend