Luca Zanolin

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich
Model Checking Programmable Router Configurations. Graph Transformations and Model-Driven Engineering (2010)
Cecilia Mascolo, Luca Zanolin, Wolfgang Emmerich
XMILE: An XML Based Approach for Incremental Code Mobility and Update. Autom. Softw. Eng. 9 (2) (2002)