From 9c9e273b3b1d804ea006efb26f0802de76cf34db Mon Sep 17 00:00:00 2001 From: "Edward A. Lee" Date: Sat, 9 Mar 2024 12:14:27 -0800 Subject: [PATCH] Fixed link for paper --- src/components/Publications/copypasta.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/components/Publications/copypasta.tsx b/src/components/Publications/copypasta.tsx index 0b9ed4971..8bd5c8837 100644 --- a/src/components/Publications/copypasta.tsx +++ b/src/components/Publications/copypasta.tsx @@ -10,7 +10,7 @@ export const copypastaPublications: ReactNode = (

MEMOCODE '23: Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee, " - + Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems ," in Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '23). Association for Computing Machinery, New York, NY, USA, 1–11.