Henrik Leerberg

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	2000
1		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. IEEE Computer 33(5): 68-75 (2000)

Coauthor Index

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Henrik Reif Andersen	[1]
2	Gerd Behrmann	[1]
3	Henrik Hulgaard	[1]
4	Kåre J. Kristoffersen	[1]
5	Kim Guldstrand Larsen (Kim G. Larsen)	[1]
6	Jørn Lind-Nielsen	[1]
7	Arne Skou	[1]
8	Jørgen Staunstrup	[1]
9	Niels Bo Theilgaard	[1]