Computational methods for analyzing bistability in biochemical reaction networks | IEEE Conference Publication | IEEE Xplore