Electronic Notes in Theoretical Computer Science, Volume 156

Refine list

showing all ?? records

Volume 156, Number 1, 15 May 2006

Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics