Harald Fecher

发表

Jinzhao Wu, Harald Fecher, Mila E. Majster-Cederbaum, 2002, PAPM-PROBMIV.
Michael Huth, Daniel Wagner, Nir Piterman, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
Michael Huth, Harald Fecher, M. Huth, 2008, VMCAI.
Sharon Shoham, Harald Fecher, Sharon Shoham, 2008, SPIN.
Harald Fecher, Mila E. Majster-Cederbaum, 2002, Electron. Notes Theor. Comput. Sci..
Harald Fecher, Harald Fecher, 2005, AVoCS.
Frank S. de Boer, Willem P. de Roever, Harald Fecher, 2006, Electron. Notes Theor. Comput. Sci..
Jozef Hooman, Frank S. de Boer, Hillel Kugler, 2004, SFEDL@ETAPS.
Harald Fecher, Harald Fecher, 2001, Nord. J. Comput..
Jinzhao Wu, Harald Fecher, Mila E. Majster-Cederbaum, 2002, Electron. Notes Theor. Comput. Sci..
Harald Fecher, Heiko Schmidt, Harald Fecher, 2008, J. Log. Algebraic Methods Program..
Jinzhao Wu, Harald Fecher, Jinzhao Wu, 2004, Journal of Computer Science and Technology.
Harald Fecher, Mila E. Majster-Cederbaum, 2006, Formal Aspects of Computing.
Harald Fecher, Mila E. Majster-Cederbaum, 2005, Fundam. Informaticae.
Willem P. de Roever, Harald Fecher, Marcel Kyas, 2005, ICFEM.
Harald Fecher, Heiko Schmidt, Harald Fecher, 2007, SOS@LICS/ICALP.
Sharon Shoham, Harald Fecher, Sharon Shoham, 2007, SPIN.
Harald Fecher, Harald Fecher, 2004, Inf. Process. Lett..
Martin Leucker, Verena Wolf, Harald Fecher, 2006, SPIN.
Harald Fecher, Harald Fecher, 2004, FORMATS/FTRTFT.
Antti Valmari, Verena Wolf, Martin Leucker, 2005 .
Michael Huth, Daniel Wagner, Nir Piterman, 2010, Perform. Evaluation.
Jinzhao Wu, Harald Fecher, Mila E. Majster-Cederbaum, 2002, Inf. Process. Lett..
Naijun Zhan, Harald Fecher, Mila E. Majster-Cederbaum, 2002, VMCAI.
David de Frutos-Escrig, Gerald Lüttgen, Harald Fecher, 2009, FSEN.
Michael Huth, Harald Fecher, 2007, VMCAI.
Harald Fecher, Harald Fecher, 2004, EXPRESS.
Harald Fecher, Harald Fecher, 2003 .
Sharon Shoham, Harald Fecher, 2011, International Journal on Software Tools for Technology Transfer.
Harald Fecher, Jens Schönborn, 2006, FMICS/PDMC.
Michael Huth, Harald Fecher, Heiko Schmidt, 2009, AVoCS.