Login / Signup
Peter H. Østergaard
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Dynamic Constraints
Image Sequences
Databases
Asynchronous Circuits
Top Venues
ISoLA (2)
</>
Publications
</>
Anne E. Haxthausen
,
Peter H. Østergaard
On the Use of Static Checking in the Verification of Interlocking Systems.
ISoLA (2)
(2016)