External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Actor-based model checking for Software-Defined Networks

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva 0001. Actor-based model checking for Software-Defined Networks. J. Log. Algebr. Meth. Program., 118:100617, 2021. [doi]

Authors

Elvira Albert

This author has not been identified. Look up 'Elvira Albert' in Google

Miguel Gómez-Zamalloa

This author has not been identified. Look up 'Miguel Gómez-Zamalloa' in Google

Miguel Isabel

This author has not been identified. Look up 'Miguel Isabel' in Google

Albert Rubio

This author has not been identified. Look up 'Albert Rubio' in Google

Matteo Sammartino

This author has not been identified. Look up 'Matteo Sammartino' in Google

Alexandra Silva 0001

This author has not been identified. Look up 'Alexandra Silva 0001' in Google
runs on