Claudia Wolkober

According to our database, Claudia Wolkober authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Static netlist verification for IBM high-frequency processors using a tree-grammar.

Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Connecting a C++ based Structural Verification Tool to the Web.

Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016