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]

Authors

Jean-Michel Ilié

This author has not been identified. Look up 'Jean-Michel Ilié' in Google

Souheib Baarir

This author has not been identified. Look up 'Souheib Baarir' in Google

Marco Beccuti

This author has not been identified. Look up 'Marco Beccuti' in Google

C. Delamare

This author has not been identified. Look up 'C. Delamare' in Google

Susanna Donatelli

This author has not been identified. Look up 'Susanna Donatelli' in Google

Claude Dutheillet

This author has not been identified. Look up 'Claude Dutheillet' in Google

Giuliana Franceschinis

This author has not been identified. Look up 'Giuliana Franceschinis' in Google

Rossano Gaeta

This author has not been identified. Look up 'Rossano Gaeta' in Google

Patrice Moreaux

This author has not been identified. Look up 'Patrice Moreaux' in Google