@inproceedings{MPY16c, author = {A. Mizera and J. Pang and Q. Yuan}, title = {{GPU}-accelerated steady-state computation of large probabilistic {B}oolean networks}, booktitle = {Proc.\ 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'16)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = {2016}, editor = {M. Fr\"anzle and D. Kapur and N. Zhan}, volume = {9984}, pages = {50--66} }