diff --git a/src/components/Publications/copypasta.tsx b/src/components/Publications/copypasta.tsx index 26be57535..b4a83bb9c 100644 --- a/src/components/Publications/copypasta.tsx +++ b/src/components/Publications/copypasta.tsx @@ -112,7 +112,7 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.
  • - VSSTE '23: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, " + VSSTE '23: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens." Provable Determinism for Software in Cyber-Physical Systems," in Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments, October 2023.