Publications

Scaling Network Verification Using Symmetry and Surgery

AuthID
P-00T-F01

Author(s)

Plotkin, GD

Bjørner, N

Lopes, NP

Rybalchenko, A

Varghese, G

Editor(s)

Majumdar,R;Bodik,R

Document Type

Proceedings Paper

Year published

2016

Published

in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, ISSN: 0730-8566

Volume: 20-22-January-2016, Pages: 69-83

Conference

43Rd Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages, Popl 2016, Date: 20 January 2016 through 22 January 2016, Sponsors: Association for Computing Machinery (ACM) SIGPLAN

Indexing

Scopus^®

Crossref^®25

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2837614.2837657

Scopus: 2-s2.0-84962482559

Source Identifiers

ISSN: 0730-8566

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Scaling Network Verification Using Symmetry and Surgery

Useful Links

Get Help

Federated Authentication (Click on the image)

Scaling Network Verification Using Symmetry and Surgery

Useful Links

Get Help