Theoretical Computer Science, Volume 365

Volume 365, Numbers 1-2, November 2006

Formal Methods for Components and Objects, Formal Methods for Components and Objects Contributions

Volume 365, Number 3, November 2006

Spatial Representation: Discrete vs. Continuous Computational Models, Spatial Representation: Discrete vs. Continuous Computational Models Contributions
maintained by Schloss Dagstuhl LZI at University of Trier