Model-checking based approaches to parameter estimation of gene regulatory networks
English
Mizera, Andrzej[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Yuan, Qixia[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2014
Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems
IEEE CS
206-209
Yes
No
International
19th IEEE Conference on Engineering of Complex Computer Systems