A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
IEEE Transactions on Software Engineering
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Categorical foundations for randomly timed automata
Theoretical Computer Science
Hi-index | 0.00 |