Login / Signup
Rochisnu Banerjee
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Bayesian Networks
Complex Systems
Model Validation
Statistical Models
Top Venues
PNSE@Petri Nets
</>
Publications
</>
Rakshit Mittal
,
Rochisnu Banerjee
,
Santonu Sarkar
,
Soumyadip Bandyopadhyay
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.
PNSE@Petri Nets
(2020)