References

LS-Lab · Jan 4, 2021 · 010bcc3 · 010bcc3
1 parent 2036d36
commit 010bcc3
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/dlds/README.md b/dlds/README.md
@@ -5,4 +5,10 @@ Provides a number of instructive simple examples from the lectures on Dynamic Lo
 [Marktoberdorf Summer School on Logical Methods for Safety and Security of Software Systems, Marktoberdorf, Germany, 08/2017](https://asimod.in.tum.de/2017/).
 
   http://keymaeraX.org/
+  MOD'17 Tutorial
 
+# References
+
+André Platzer.
+Dynamic Logic for Dynamical Systems. 
+[Marktoberdorf Summer School on Logical Methods for Safety and Security of Software Systems, Marktoberdorf, Germany, 08/2017](https://asimod.in.tum.de/2017/).
diff --git a/popltutorial/README.md b/popltutorial/README.md
@@ -9,5 +9,5 @@ Provides a number of instructive simple examples from the
 # References
 
 André Platzer.
-[Programming Cyber-Physical Systems With Logic](https://popl19.sigplan.org/event/popl-2019-tutorialfest-t4-programming-cyber-physical-systems-with-logic).
-POPL 2019 Tutorials.
+Programming Cyber-Physical Systems With Logic.
+[POPL 2019 Tutorials](https://popl19.sigplan.org/event/popl-2019-tutorialfest-t4-programming-cyber-physical-systems-with-logic).
diff --git a/tutorials/fm-2019/README.md b/tutorials/fm-2019/README.md
@@ -5,4 +5,10 @@ Provides examples from the FM 2019 Tutorial on
 [Modular Formal Verification of Cyber-Physical Systems with KeYmaera X](http://keymaeraX.org/tutorial/FM-2019.html).
 
   http://keymaeraX.org/
+  FM'19 Tutorial
 
+# References
+
+Stefan Mitsch and André Platzer.
+[Modular Formal Verification of Cyber-Physical Systems with KeYmaera X](http://keymaeraX.org/tutorial/FM-2019.html).
+FM 2019 Tutorial.