@article{GJBS2013,
 acmid = {2450965},
 address = {Amsterdam, The Netherlands, The Netherlands},
 author = {S. Van Goethem and J. M. Jacquet and Luboš Brim and David Šafránek},
 doi = {10.1016/j.entcs.2013.02.019},
 issn = {1571-0661},
 issue_date = {March, 2013},
 journal = {Electron. Notes Theor. Comput. Sci.},
 keywords = {Boolean logic, Discrete modeling, UPAAL, gene regulatory network},
 month = mar,
 numpages = {15},
 pages = {67--81},
 publisher = {Elsevier Science Publishers B. V.},
 title = {Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization},
 url = {http://dx.doi.org/10.1016/j.entcs.2013.02.019},
 volume = {293},
 year = {2013}
}