External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

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

Giuliana Franceschinis

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