index
:
NWI-IMC046-Model-Checking
master
Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Assignment2
/
src
/
entry.sh
blob: 3702ac5ba0303a4dcf7c26eaaf71f91625dc581d (
plain
) (
blame
)
1
2
3
cd
/src clm
-ms
-IL
Platform
-nr
-nt
DTMC
-o
dtmc bash