diff --git a/README.md b/README.md index 9950a8c..dc2d7b8 100644 --- a/README.md +++ b/README.md @@ -332,7 +332,14 @@ If you know others, feel free to add them here through a PR.
AALTITOAD - verifier and simulator for Tick Tock Automata
-
+
+
ZIMO-Elektronik
+ +