Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich. Model Checking Programmable Router Configurations. In Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel, editors, Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Volume 5765 of Lecture Notes in Computer Science, pages 473-491, Springer, 2010. [doi]
Abstract is missing.