Ludwig Griebl

According to our database, Ludwig Griebl authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Some notes on the abstraction operation for multi-terminal binary decision diagrams.

Ludwig Griebl, Johann Schuster

Formal Methods Syst. Des., 2014