Login / Signup
Viktor Teren
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Petri Net
State Machines
Practical Reasoning
Transition Systems
Top Venues
DSD
CoRR
Int. J. Appl. Math. Comput. Sci.
</>
Publications
</>