APNN-Toolbox
From MaRDI portal
Software:19039
swMATH6976MaRDI QIDQ19039FDOQ19039
Author name not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- Integrating synchronization with priority into a Kronecker representation
- Model-checking large structured Markov chains.
- Title not available (Why is that?)
- Kronecker modeling and analysis of multidimensional Markovian systems
- Analyzing Markov chains using Kronecker products. Theory and applications
- Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
- Validation of Stochastic Systems
- Hierarchical reachability graph generation for Petri nets
- On vector-Kronecker product multiplication with rectangular factors
- Modelling of biochemical reactions by stochastic automata networks
This page was built for software: APNN-Toolbox
