Login / Signup
Javier Oliver
ORCID
Publication Activity (10 Years)
Years Active: 1994-2021
Publications (10 Years): 5
Top Topics
Specification Languages
Search Heuristics
Petri Net
Ims Ld
Top Venues
ITiCSE
Petri Nets
J. Log. Algebraic Methods Program.
CoRR
</>
Publications
</>