Login / Signup
Sven-Olai Høyland
Publication Activity (10 Years)
Years Active: 1988-2017
Publications (10 Years): 1
Top Topics
Verification Method
Temporal Logic
Space Exploration
Model Checking
Top Venues
NIK
</>
Publications
</>
Andreas Lilleskare
,
Lars Michael Kristensen
,
Sven-Olai Høyland
CTL Model Checking with the Sweep-line State Space Exploration Method.
NIK
(2017)
Sven-Olai Høyland
Bin-Packing in 1.5 Dimension.
SWAT
(1988)