Login / Signup
Per Lange Laursen
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Distributed Data
Model Checker
Temporal Logic
Formal Model
Top Venues
ISoLA (3)
</>
Publications
</>