Johan Pelay, Fabrice Guillemin, Olivier Barais. Verifying the configuration of virtualized network functions in software defined networks. In 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2017, Berlin, Germany, November 6-8, 2017. pages 223-228, IEEE, 2017. [doi]