Stop the war!
Остановите войну!
for scientists:
default search action
Electronic Notes in Theoretical Computer Science, Volume 44
ETAPS 2001 Workshops
Volume 44, Number 1, 2001
- Andrea Corradini, Marina Lenisa, Ugo Montanari:
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001. Electronic Notes in Theoretical Computer Science 44(1), Elsevier 2001 [contents]
Volume 44, Number 2, 2001
- Mark van den Brand, Didier Parigot:
First Workshop on Language Descriptions, Tools and Applications, LDTA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7, 2001. Electronic Notes in Theoretical Computer Science 44(2), Elsevier 2001 [contents]
Volume 44, Number 3, 2001
- Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Electronic Notes in Theoretical Computer Science 44(3), Elsevier 2001 [contents]
Volume 44, Number 4, 2001
- Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.