DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks