Electronic Notes in Theoretical Computer Science, Volume 220

Volume 220, Number 1, December 2008

Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)

Volume 220, Number 2, December 2008

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008)

Volume 220, Number 3, December 2008

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)