we dont actually have an appendix for the refinement paper
authorRalf Jung <post@ralfj.de>
Tue, 11 Oct 2016 16:46:14 +0000 (18:46 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 11 Oct 2016 16:46:14 +0000 (18:46 +0200)
commiteb7f1599a259a8798e929134c5bea7e2354cc404
treea77c545f81d26a58aec7c3ba97b9b22fe0b985a4
parent830bcddbda052483153dc431d45aacf537418196
we dont actually have an appendix for the refinement paper
research/publications.html