Electronic Notes in Theoretical Computer Science, Volume 101

Volume 101, November 2004

Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML)
maintained by Schloss Dagstuhl LZI, founded at University of Trier