Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung Jäschke, Christoph Schmitt, Carsten Herter, Ulla Wich, Tobias Rust, Jochen 2010 - ReposIt
