dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Electronic Notes in Theoretical Computer Science, Volume 192

Volume 192, Number 1, October 2007

Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007)

Volume 192, Number 2, May 2008

Volume 192, Number 3, November 2008

Last update Mon May 20 00:56:08 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page