Introduction to BioLab A Statistical Model Checker for BioNetGen
Introduction to BioLab A Statistical Model Checker for BioNetGen. Developer: Sumit Kumar Jha Edmund M Clarke, Sumit K. Jha, Chris Langmead, James Faeder, Andre Platzer, Paolo Zuliani. Overall Design. How to install?. Pre-compiled 64 bit binaries are available
239 views • 9 slides