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.

A Model Checking Based Approach for Detecting SDN Races

Evgenii Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache. A Model Checking Based Approach for Detecting SDN Races. In Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Volume 11812 of Lecture Notes in Computer Science, pages 194-211, Springer, 2019. [doi]

Authors

Evgenii Vinarskii

This author has not been identified. Look up 'Evgenii Vinarskii' in Google

Jorge López

This author has not been identified. Look up 'Jorge López' in Google

Natalia Kushik

This author has not been identified. Look up 'Natalia Kushik' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google

Djamal Zeghlache

This author has not been identified. Look up 'Djamal Zeghlache' in Google
runs on