Model Revision tool for computing Boolean network repair operations.
Distributed simulations and analysis of synchronous Boolean networks
