Jens Ulrik Skakkebæk

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

John M. Rushby, Jens Ulrik Skakkebæk
The PVS Verification System and PC/DC. FTRTFT (1994)
Jens Ulrik Skakkebæk, Natarajan Shankar
Towards a Duration Calculus Proof Assistant in PVS. FTRTFT (1994)
Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou
Specification Of Embedded, Real-time Systems. RTS (1992)