Henrik Leerberg

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
Practical Verification of Embedded Software. Computer 33 (5) (2000)