Steffen Märcker

发表

Christel Baier, Steffen Märcker, Joachim Klein, 2017, SEFM.

Christel Baier, Steffen Märcker, Joachim Klein, 2014, TACAS.

Christel Baier, Hendrik Tews, Steffen Märcker, 2015, J. Comput. Syst. Sci..

Christel Baier, Steffen Märcker, Joachim Klein, 2016, TACAS.

Christel Baier, Hendrik Tews, Steffen Märcker, 2012, FMICS.

Manfred Droste, Steffen Märcker, Ingmar Meinecke, 2011, Algebraic Foundations in Computer Science.

Christel Baier, Steffen Märcker, Joachim Klein, 2014, FASE.

Christel Baier, Hendrik Tews, Steffen Märcker, 2012, SSV.

Christel Baier, Steffen Märcker, Joachim Klein, 2017, International Journal on Software Tools for Technology Transfer.

Christel Baier, Steffen Märcker, Steffen Lange, 2017, PLoS Comput. Biol..

Christel Baier, Hendrik Tews, Steffen Märcker, 2013, NASA Formal Methods.

Christel Baier, Steffen Märcker, Steffen Lange, 2017 .