@article{MPY19, author = {A. Mizera and J. Pang and Q, Yuan}, title = {{GPU}-accelerated steady-state computation of large probabilistic {B}oolean networks}, journal = {Formal Aspects of Computing}, year = {2019}, volume = {31}, number = {1}, pages = {27-46} }