• GreatSPN

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Crocodile

  • Referenced in 3 articles [sw09769]
  • Crocodile: a symbolic/symbolic tool for the analysis of...