Login / Signup
Calin C. Guet
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 4
Top Topics
Gene Regulatory Networks
Automated Verification
Bayesian Inference
Model Checking
Top Venues
CoRR
CMSB
TACAS
Acta Informatica
</>
Publications
</>