Ulrich Hannemann
发表
Martin Steffen,
Dennis Dams,
Ulrich Hannemann,
2010,
Concurrency, Compositionality, and Correctness.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1999,
World Congress on Formal Methods.
Jozef Hooman,
Ulrich Hannemann,
2001,
25th Annual International Computer Software and Applications Conference. COMPSAC 2001.
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2005,
International Journal on Software Tools for Technology Transfer.
Jan Peleska,
Ulrich Hannemann,
Stefan Bisanz,
2008,
2008 32nd Annual IEEE International Computer Software and Applications Conference.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1997,
FSTTCS.
Jozef Hooman,
Frank S. de Boer,
Willem P. de Roever,
2001,
Cambridge Tracts in Theoretical Computer Science.
Erika Ábrahám,
Martin Steffen,
Ulrich Hannemann,
2001,
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2004,
SoftSpez Final Report.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1999,
MFCS.
Jozef Hooman,
Frank S. de Boer,
Willem P. de Roever,
2000,
FBT.
Willem P. de Roever,
Yassine Lakhnech,
Job Zwiers,
1995,
FSTTCS.
Ulrich Hannemann,
Kirsten Berkenkötter,
2006,
SAFECOMP.
Martin Steffen,
Dennis Dams,
Ulrich Hannemann,
2010,
Concurrency, Compositionality, and Correctness.
Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann,
1997,
FME.
Jan Peleska,
Ulrich Hannemann,
Kirsten Berkenkötter,
2006
.
Willem P. de Roever,
Yassine Lakhnech,
Job Zwiers,
1996,
FME.
Erika Ábrahám,
Martin Steffen,
Ulrich Hannemann,
2001,
EUROCAST.