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

J.UCS, Volume 7

Volume 7, Number 1, January 2001

Tools for System Design and Verification - Part 1

Volume 7, Number 2, February 2001

Tools for System Design and Verification - Part 2

Volume 7, Number 3, March 2001

Volume 7, Number 4, April 2001

Volume 7, Number 5, May 2001

Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann A. Maurer

Volume 7, Number 6, June 2001

I-Know '01 - International Conference on Knowledge Management

Volume 7, Number 7, July 2001

I-Know '01 - International Conference on Knowledge Management

Volume 7, Number 8, August 2001

Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas

Volume 7, Number 9, September 2001

Volume 7, Number 10, October 2001

Volume 7, Number 11, November 2001

Abstract State Machines 2001: New Developments and Applications

Volume 7, Number 12, December 2001

Copyright © Fri Mar 12 17:30:43 2010 by Michael Ley (ley@uni-trier.de)