Cited in
(11)- Expressing and computing passage time measures of GSPN models with HASL
- scientific article; zbMATH DE number 3945331 (Why is no real title available?)
- GreatSPN 1.7
- VESTA
- COSMOS
- Ymer
- SGN Sim
- Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24--28, 2013. Proceedings
- Coupling and importance sampling for statistical model checking
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Uniform sampling for timed automata with application to language inclusion measurement
This page was built for software: HASL
