Login / Signup
Artur Meski
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 4
Top Topics
Model Checking
Petri Net
Temporal Properties
Action Theories
Top Venues
Fundam. Informaticae
UCNC
ACM Trans. Embed. Comput. Syst.
Auton. Agents Multi Agent Syst.
</>
Publications
</>