Jakob Lovhall

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Formal Verification

Asynchronous Circuits

Top Venues

Publications

Mikael Asplund, Jakob Lovhall, Simin Nadjm-Tehrani
In-Store Payments Using Bitcoin. NTMS (2018)
Mikael Asplund, Jakob Lovhall, Emília Villani
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. PRDC (2017)