Harald Fecher
发表
Michael Huth,
Harald Fecher,
M. Huth,
2006
.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
Perform. Evaluation.
David de Frutos-Escrig,
Gerald Lüttgen,
Harald Fecher,
2009,
FSEN.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Harald Fecher,
Heiko Schmidt,
Harald Fecher,
2008,
J. Log. Algebraic Methods Program..
Harald Fecher,
Immo Grabe,
Immo Grabe,
2007,
FSEN'07.
Sharon Shoham,
Harald Fecher,
Sharon Shoham,
2008,
SPIN.
Harald Fecher,
Harald Fecher,
2001,
Nord. J. Comput..
Harald Fecher,
Harald Fecher,
2005,
AVoCS.
Michael Huth,
Harald Fecher,
M. Huth,
2008,
VMCAI.
Harald Fecher,
Harald Fecher,
2003
.
Harald Fecher,
Heiko Schmidt,
Harald Fecher,
2007,
SOS@LICS/ICALP.
Naijun Zhan,
Harald Fecher,
Mila E. Majster-Cederbaum,
2002,
VMCAI.
Willem P. de Roever,
Harald Fecher,
Marcel Kyas,
2005,
ICFEM.
Jinzhao Wu,
Harald Fecher,
Jinzhao Wu,
2004,
Journal of Computer Science and Technology.
Michael Huth,
Harald Fecher,
Heiko Schmidt,
2009,
AVoCS.
Harald Fecher,
Harald Fecher,
2004,
EXPRESS.
Michael Huth,
Harald Fecher,
M. Huth,
2006,
ATVA.
Martin Leucker,
Verena Wolf,
Harald Fecher,
2006,
SPIN.
Jozef Hooman,
Frank S. de Boer,
Hillel Kugler,
2004,
SFEDL@ETAPS.
Sharon Shoham,
Harald Fecher,
Sharon Shoham,
2007,
SPIN.
M. Majster-Cederbaum,
Harald Fecher,
2006,
Formal Aspects of Computing.
Harald Fecher,
Harald Fecher,
2004,
FORMATS/FTRTFT.
Harald Fecher,
Harald Fecher,
2004,
Inf. Process. Lett..