Extended SWN Solvers in GreatSPN

Jean-Michel IliƩ, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux. Extended SWN Solvers in GreatSPN. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. pages 324-325, IEEE Computer Society, 2004. [doi]

No reviews for this publication, yet.