Login / Signup
Laura Florentina Stoica
ORCID
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 3
Top Topics
Model Checker
Pspace Complete
Epistemic Logic
Transition Systems
Top Venues
SoftCOM
CoRR
DCNET/ICE-B/OPTICS
MDIS
</>
Publications
</>