Login / Signup
Eduard Baranov
ORCID
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 16
Top Topics
Layered Architecture
Coloured Petri Nets
Model Checking
Relational Operators
Top Venues
Acta Informatica
J. Log. Algebraic Methods Program.
SPLC (B)
FACS
</>
Publications
</>