Pinboard (mru)
https://pinboard.in/u:mru/public/
recent bookmarks from mru
-
PRISM - Probabilistic Symbolic Model Checker
2013-09-23T10:46:05+00:00
http://www.prismmodelchecker.org/
mrumarkov model-checker research oxford tools
https://pinboard.in/u:mru/b:17c1f003ea02/