Login / Signup
Florin Stoica
ORCID
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 5
Top Topics
Model Checker
Epistemic Logic
Transition Systems
Formal Specification
Top Venues
SoftCOM
Int. J. Comput. Commun. Control
CoRR
DCNET/ICE-B/OPTICS
</>
Publications
</>