[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - New Solvers for Asymmetric Systems in GreatSPN
Baarir, Souheib, Beccuti, Marco, Franceschinis, GiulianaYear:
2008
Language:
english
DOI:
10.1109/qest.2008.38
File:
PDF, 111 KB
english, 2008