_id,doi,title
719,10.1007/s00236-017-0299-0,Special issue: Synthesis and SYNT 2014
1351,10.1007/s00236-016-0278-x,Model checking the evolution of gene regulatory networks