Taming Asynchrony for Attractor Detection in Large Boolean Networks | IEEE Journals & Magazine | IEEE Xplore