Daniela Weinberg. Efficient Controllability Analysis of Open Nets. In Roberto Bruni, Karsten Wolf, editors, Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Volume 5387 of Lecture Notes in Computer Science, pages 224-239, Springer, 2008. [doi]