I am an associate professor at Faculty of Informatics, Masaryk University.
-
Faculty of Informatics, Masaryk University
- Brno, Czech Republic
Block or Report
Block or report VojtechRehak
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
prism-gsmp
prism-gsmp PublicForked from prismmodelchecker/prism
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
-
storm-gsmp
storm-gsmp PublicForked from moves-rwth/storm
A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.