commit bb5cbc49880708b0118c685e67d1722eea343d05 parent 67d6ea2d06fd16e0fdc11250a386f894560598bc Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 22 Feb 2023 16:38:39 +0100 +errata Diffstat:
| publis | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/publis b/publis @@ -599,6 +599,7 @@ OldCV: yes DOI: 10.1145/2902251.2902301 Extra: pages = {355--370}, HAL: hal-01336514 +Errata: yes Id: amarilli2014minimum Year: 2015