Publicações

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(es)

Majumdar,R;Bodik,R

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

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

Volume: 20-22-January-2016, Páginas: 69-83

Conference

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

Indexing

Scopus^®

Crossref^®25

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2837614.2837657

SCOPUS: 2-s2.0-84962482559

Source Identifiers

ISSN: 0730-8566

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Scaling Network Verification Using Symmetry and Surgery

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Scaling Network Verification Using Symmetry and Surgery

Links Úteis

Ajuda