Publicações

Scaling Network Verification Using Symmetry and Surgery

AuthID
P-00T-EZC

Author(s)

Plotkin, GD

Bjørner, N

Lopes, NP

Rybalchenko, A

Varghese, G

Editor(es)

Bodík,R;Majumdar,R

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 in POPL, ISSN: 1523-2867

Volume: 51, Número: 1, Páginas: 69-83

Indexing

Scopus^®

Dblp^®/pt/publications/view/867308

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2837614.2837657

DBLP: conf/popl/PlotkinBLRV16

SCOPUS: 2-s2.0-84965082238

Source Identifiers

ISSN: 1523-2867

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