Login / Signup
Leila Ghanbar
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Petri Net
Model Checking
Reactive Systems
Computation Tree Logic
Top Venues
BMC Bioinform.
</>
Publications
</>
David R. Gilbert
,
Monika Heiner
,
Leila Ghanbar
,
Jacek Chodak
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking.
BMC Bioinform.
(4) (2019)