Login / Signup
Daniel Bujosa
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 10
Top Topics
Coloured Petri Nets
Formal Verification
Atm Networks
Resource Management
Top Venues
ETFA
IEEE Access
CoRR
IEEE Trans. Ind. Informatics
</>
Publications
</>