Applying formal methods to networking: theory, techniques, and applications

The work

TitleApplying formal methods to networking: theory, techniques, and applications
AuthorsJunaid Qadir; Osman Hasan
Typearticle
Year2014
Citekeyqadir2014applying

Where it appeared

Published inIEEE Communications Surveys & Tutorials
Volume17
Issue1
Pages256--291

Copy held

KindPDF, 549.6 kB
Retrieved2026-08-05
Heldlocal, for personal reference

Where this came from

How it got herealready cited · cited in bibtex
First seen2026-08-04
Standingendorsed
Approved2026-08-06
In: IEEE Communications Surveys and Tutorials venue

Cite it as

@article{qadir2014applying,
  title = {Applying formal methods to networking: theory, techniques, and applications},
  author = {Junaid Qadir and Osman Hasan},
  year = {2014},
  journal = {IEEE Communications Surveys \& Tutorials},
  volume = {17},
  number = {1},
  pages = {256--291},
}

This record lives at https://refs.drheap.org/qadir2014applying/ and will keep doing so.