dblp.uni-trier.de www.uni-trier.de

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)

Copyright © Mon Mar 15 04:00:57 2010 by Michael Ley (ley@uni-trier.de)