J. U. Skakkebæk

Specification Of Embedded, Real-time Systems

Anders P. Ravn, Hans Rischel, Chaochen Zhou, 1992, Fourth Euromicro workshop on Real-Time Systems.

Java model checking

David L. Dill, Ulrich Stern, David Y. W. Park, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution

David L. Dill, Robert B. Jones, Jens Ulrik Skakkebæk, 1998, FMCAD.

Formal Verification of Out-of-Order Execution Using Incremental Flushing

David L. Dill, Robert B. Jones, Jens Ulrik Skakkebæk, 1998, CAV.