Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Networks -- The SPQR-Tree Data Structure in Graph Drawing -- Model Checking and Testing Combined -- Logic...”