Skip to content

Commit b419143

Browse files
hokeunlhstrh
andauthored
Update src/components/Publications/copypasta.tsx
Co-authored-by: Marten Lohstroh <[email protected]>
1 parent b6ee6e1 commit b419143

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/components/Publications/copypasta.tsx

+1-1
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.
112112
</li>
113113
<li>
114114
<p>
115-
<strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, "
115+
<strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens."
116116
<Link href="https://cfaed.tu-dresden.de/files/Images/people/chair-cc/publications/2310_Rossel_VSSTE.pdf">
117117
Provable Determinism for Software in Cyber-Physical Systems</Link>,"
118118
in <i>Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments</i>, October 2023.

0 commit comments

Comments
 (0)