Sumit Kumar Jha, Arfeen Khalid. Calibration of stochastic biochemical models against behavioral temporal logic specifications. In 7th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2017, Orlando, FL, USA, October 19-21, 2017. pages 1, IEEE, 2017. [doi]
Abstract is missing.