Simon Mørk
Author
Alternate name Simon Mørk
Institution Technical University of Denmark
Past institution Technical University of Denmark
H-index: 2
I10-index: 1
Works count: 4
Citations count: 27
A Timed Semantics for SDL
1996 · Simon Mørk, Jens Christian Godskesen, et al. · IFIP advances in information and communication technology
Development of safety-critical real-time systems
1995 · Hans Rischel, Jorge Cuéllar, et al. · Lecture notes in computer science
A universal reactive machine
1997 · Henrik Reif Andersen, Simon Mørk, et al. · Lecture notes in computer science