TY - GEN A1 - Gilbert, David A1 - Heiner, Monika A1 - Ghanbar, Leila A1 - Chodak, Jacek T1 - Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking T2 - BMC Bioinformatics Y1 - 2019 U6 - https://doi.org/10.1186/s12859-019-2690-z SN - 1471-2105 VL - 20 supplement 4 ER -