Don't cares and global flow analysis of Boolean networks | IEEE Conference Publication | IEEE Xplore