Login / Signup
Florian Mircea Boian
Publication Activity (10 Years)
Years Active: 2001-2018
Publications (10 Years): 1
Top Topics
Concurrent Systems
Epistemic Logic
Formal Specification
Model Checker
Top Venues
DCNET/ICE-B/OPTICS
SoftCOM
EGC
Int. J. Comput. Commun. Control
</>
Publications
</>