Jump to : Download | Contact | BibTex reference | EndNote reference |

majith:hal-03229532

Abdul Majith, Ocan Sankur, Hervé Marchand, Thai Dinh. Compositional model checking of an SDN platform. In DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Pages 1-8, Milan, Italy, April 2021.

Download [help]

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{majith:hal-03229532,
   Author = {Majith, Abdul and Sankur, Ocan and Marchand, Hervé and Dinh, Thai},
   Title = {{Compositional model checking of an SDN platform}},
   BookTitle = {{DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks}},
   Pages = {1--8},
   Address = {Milan, Italy},
   Month = {April},
   Year = {2021}
}

EndNote Reference [help]

Get EndNote Reference (.ref)