Commit f1f1bd7b authored by Michael Kohlhase's avatar Michael Kohlhase


parent acbfc3fb
......@@ -9,3 +9,8 @@
affiliation={Jacobs University, Bremen},
department=Computer Science]
{Michael Kohlhase}
affiliation={FIZ Karlsruhe},
department=Zentralblatt Math]
{J\"urgen Schefter}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment