Electronic Notes in Theoretical Computer Science, Volume 50

ICALP 2001 Satellite Workshops

Volume 50, Number 1, 2001

Algorithmic MeThods and Models for Optimization of RailwayS - ATMOS 2001
Crete, Greece, 13 July 2001

Volume 50, Number 2, 2001

Bohm's theorem: applications to Computer Science Theory - BOTH 2001
Crete, Greece, 13 July 2001

Volume 50, Number 3, 2001

Graph Transformation and Visual Modeling Techniques - GT-VMT 2001
Crete, Greece, 12-13 July 2001

Volume 50, Number 4, 2001

Verification of Parameterized Systems - VEPAS 2001
Crete, Greece, 13 July 2001