Skip to content
Permalink
Browse files

Update README.md

  • Loading branch information...
joleuger committed Nov 20, 2018
1 parent 2d7824b commit c0cdf93df12fda0a6b4a3ec8a0005b5033811c66
Showing with 3 additions and 1 deletion.
  1. +3 −1 README.md
@@ -21,9 +21,11 @@ To get started with S#, please consult the [Wiki](http://safetysharp.isse.de/wik
the case studies are available under the
[MIT License](https://github.com/isse-augsburg/ssharp/blob/master/LICENSE.md).

Documents
Links
-------------------------

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

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

- [Quickstart S# for developers (Visual Studio 2017)](https://github.com/isse-augsburg/ssharp/blob/master/Documents/Quickstart-Dev-VS2017.pdf)

0 comments on commit c0cdf93

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