@inproceedings{MPY14, author = {A. Mizera and J. Pang and Q. Yuan}, title = {Model-checking based approaches to parameter estimation of gene regulatory networks}, booktitle = {Proc.\ 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS'14)}, publisher = {IEEE Computer Society}, year = {2014}, pages = {206-209} }