swMATH6976MaRDI QIDQ19039FDOQ19039
Author name not available (Why is that?)
Official website: http://ls4-www.cs.tu-dortmund.de/APNN-TOOLBOX/
Cited In (16)
- 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
- GTAEXPRESS
- LDQBD
- TVT
- Hierarchical reachability graph generation for Petri nets
- Mec 5
- VERSA
- On vector-Kronecker product multiplication with rectangular factors
- Modelling of biochemical reactions by stochastic automata networks
This page was built for software: APNN-Toolbox
