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
. 2017 IEEE 7TH 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
. 2017 IEEE 7TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL ADVANCES IN BIO AND MEDICAL SCIENCES (ICCABS)