fix copyright issue and add README, and minor edit to paper

model-checking · Sep 3, 2024 · 09c578f · 09c578f
1 parent 498e6f3
commit 09c578f
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1,248 deletions.
diff --git a/papers/vstte2024/README.md b/papers/vstte2024/README.md
@@ -0,0 +1 @@
+This contains the contents for a short paper at VSTTE2024. In order to build this, please download the LLNCS style file available at https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238648/data/v8 -o llncs.zip and use standard LaTeX tools to build the paper.