Proceedings

• Tom Mens, Andy Schürr, Gabriele Taentzer, editors, Proceedings of the 2nd International Workshop on Graph-Based Tools, GraBaTs 2004, Rome, Italy, October 2, 2004. Volume 127 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005.