Bib fix.

2016-09-25 09:02:57 -04:00
parent ee3d354700
commit 69bd0d6cd1
1 changed files with 1 additions and 1 deletions
@@ -37,7 +37,7 @@
 }

 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{HKM-verif16,
+@inproceedings{HKM-verif16,
  title  = {Computer-aided verification in mechanism design},
  author = {Barthe, Gilles and
            Gaboardi, Marco and