Electronic Notes in Theoretical Computer Science, Volume 138

Volume 138, Number 1, 9 September 2005

Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004)

Volume 138, Number 2, 23 November 2005

Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004)

Volume 138, Number 3, 28 December 2005

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY 2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics