Expressive statistical model checking of genetic networks with delayed stochastic dynamics (2012)

by P Ballarini, J Mäkelä, A S Ribeiro
Venue:In CMSB, volume 7605 of LNCS