Update bib.

2017-01-23 10:57:37 -05:00
parent c3418eb633
commit 457de9a388
1 changed files with 0 additions and 2 deletions
@@ -93,7 +93,6 @@
  jh     = yes,
  plclub    = yes,
  reviewed = yes,
-  note   = {To appear.}
 }

@inproceedings{ACGHK16,
@@ -109,7 +108,6 @@
  jh     = yes,
  plclub    = yes,
  reviewed = yes,
-  note   = {To appear.}
 }

@inproceedings{HKM-verif16,