BibTeX
CSL-JSON
MLA
Harvard
A Survey on Network Verification and Testing with Formal Methods: Approaches and Challenges
release_h3op4heca5d75bpokfsbfevnwe
by
Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang
Published
in IEEE Communications Surveys and Tutorials by Institute of Electrical and Electronics Engineers (IEEE).
2018 p1-1
Archived Files and Locations
application/pdf 5.5 MB
file_e3efqfulcnbgjhcpx7jgl4nu6u
|
ieeexplore.ieee.org (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2018
article-journal
Stage
published
Year 2018
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar