New Solvers for Asymmetric Systems in GreatSPN

Souheib Baarir, Marco Beccuti, Giuliana Franceschinis. New Solvers for Asymmetric Systems in GreatSPN. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France. pages 235-236, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.