Author: Henrik Reif Andersen

Publications

Publication period start: 2000
Number of co-authors: 9

Co-authors

Number of publications with favourite co-authors
Arne Skou
1
Henrik Leerberg
1
Niels Bo Theilgaard
1

Productive Colleagues

Most productive colleagues in number of publications
Arne Skou
1
Henrik Leerberg
1
Niels Bo Theilgaard
1

Publications

Staunstrup, Jørgen, Andersen, Henrik Reif, Hulgaard, Henrik, Lind-Nielsen, Jørn, Larsen, Kim Guldstrand, Behrmann, Gerd, Kristoffersen, Kåre J., Skou, Arne, Leerberg, Henrik, Theilgaard, Niels Bo (2000): Practical Verification of Embedded Software. In IEEE Computer, 33 (5) pp. 68-75. https://csdl.computer.org/comp/mags/co/2000/05/r5068abs.htm