Graph-Based Tools (GraBaTs 2002)

Tom Mens, Andy Schürr, Gabriele Taentzer. Graph-Based Tools (GraBaTs 2002). Electronic Notes in Theoretical Computer Science, 72(2):11-13, 2002. [doi]

Abstract

Abstract is missing.