ASSA-PBN: An approximate steady-state analyser for probabilistic Boolean networks
English
Mizera, Andrzej[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Yuan, Qixia[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2015
Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15)
Springer
Lecture Notes in Computer Science 9364
214-220
Yes
No
International
13th International Symposium on Automated Technology for Verification and Analysis
2015
University of Luxembourg: High Performance Computing - ULHPC