2020-09 QEST Special Issue

Project information

This project contains the execution scripts to the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings" (to be) published in September 2020.

5 Commits
1 Branch
0 Tags

README

Created on

September 02, 2020

Copy SSH clone URLgit@zivgitlab.uni-muenster.de:ag-sks/tools/misc/execution-scripts/2020-09-qest-special-issue.git
Copy HTTPS clone URLhttps://zivgitlab.uni-muenster.de/ag-sks/tools/misc/execution-scripts/2020-09-qest-special-issue.git