GINsim
Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework
redirecting to new location:
http://gin.univ-mrs.fr/GINsim