Login / Signup
Sneha Sahu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Model Checker
Rough Set Theory
Top Venues
SEFM
</>
Publications
</>
Sneha Sahu
,
Ruth Schorr
,
Inmaculada Medina-Bulo
,
Matthias F. Wagner
Model Translation from Papyrus-RT into the nuXmv Model Checker.
SEFM
(2020)