Controlling Large Boolean Networks with Temporary and Permanent Perturbations

Cui Su, Soumya Paul, Jun Pang 0001. Controlling Large Boolean Networks with Temporary and Permanent Perturbations. In Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, editors, Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 11800 of Lecture Notes in Computer Science, pages 707-724, Springer, 2019. [doi]

Authors

Cui Su

This author has not been identified. Look up 'Cui Su' in Google

Soumya Paul

This author has not been identified. Look up 'Soumya Paul' in Google

Jun Pang 0001

This author has not been identified. Look up 'Jun Pang 0001' in Google