Login / Signup
István Majzik
ORCID
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 31
Top Topics
Formal Verification
Model Checking
Petri Net
Timed Automata
Top Venues
Petri Nets
Period. Polytech. Electr. Eng. Comput. Sci.
MoDELS
ISoLA (4)
</>
Publications
</>