@inproceedings{MPY15, author = {A. Mizera and J. Pang and Q. Yuan}, title = {{ASSA-PBN}: {A}n approximate steady-state analyser for probabilistic {B}oolean networks}, booktitle = {Proc.\ 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = {2015}, volume = {9364}, pages = {214-220} }