A Perturbation and Reduction Based Algorithm
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Model Checking for a Class of Weighted Automata
Discrete Event Dynamic Systems
Hi-index | 0.00 |