VeriNeS: runtime verification of outsourced network services orchestration.

Moubarak Zoure, Toufik Ahmed, Laurent Rveillre

Browse the full SAC paper archive.