Login / Signup
Björn F. Postema
ORCID
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 6
Top Topics
Power Management
Model Checker
Petri Net
Data Sources
Top Venues
e-Energy
MMB/DFT
QAPL
Electron. Notes Theor. Comput. Sci.
</>
Publications
</>