Login / Signup
Mathias Grund Sørensen
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 0
Top Topics
Iterative Deepening
Petri Net
Discrete Space
Memory Efficient
Top Venues
Petri Nets
Fundam. Informaticae
MEMICS
NASA Formal Methods
</>
Publications
</>