commit 697d8c7fda0d11b4af1b5acb25cc3380f8df9dc0 parent 9e6a4a33b2529544400a9dcedbd58211b8da811b Author: Antoine Amarilli <a3nm@a3nm.net> Date: Mon, 15 Sep 2025 16:12:23 +0200 doi Diffstat:
| publis | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/publis b/publis @@ -7,6 +7,7 @@ Reviewed: yes Venue: lmcs ConferenceVersion: amarilli2024conjunctive Hal: hal-04871474 +DOI: none Id: amarilli2025tighter Oldid: amarilli2022tighter amarilli2023tighter amarilli2024tighter