Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications
Conference
Jha, Sumit Kumar, Khalid, Arfeen. (2017). Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications
. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs
Jha, Sumit Kumar, Khalid, Arfeen. (2017). Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications
. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs