Login / Signup
Petter Sandvik
ORCID
Publication Activity (10 Years)
Years Active: 2009-2014
Publications (10 Years): 0
Top Topics
Video Clips
Formal Specification
Irregular Isothetic Grids
Hierarchical Peer To Peer Networks
Top Venues
Int. J. Crit. Comput. Based Syst.
WoWMoM
COORDINATION
NASA Formal Methods
</>
Publications
</>