Skip to content
Permalink
Browse files

Update README.md

  • Loading branch information...
joleuger committed Nov 20, 2018
1 parent c0cdf93 commit eb2bbdd5a640d7dc4a554b6b0d3cc9cc52a22b1d
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
@@ -24,7 +24,7 @@ the case studies are available under the
Links
-------------------------

- [Partial reimplementation in C++ (Probabilistic Executable Model Checker)](https://github.com/joleuger/pemc/)
- [(Partial) reimplementation in C++](https://github.com/joleuger/pemc/)

- [Wiki page with our S# related publications](https://github.com/isse-augsburg/ssharp/wiki/Publications)

0 comments on commit eb2bbdd

Please sign in to comment.
You can’t perform that action at this time.