Joachim Klein

发表

Christel Baier, Steffen Märcker, Joachim Klein, 2017, SEFM.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, NASA Formal Methods.
Christel Baier, Joachim Klein, 2006, Theor. Comput. Sci..
Christel Baier, Joachim Klein, C. Baier, 2005, Theor. Comput. Sci..
Christel Baier, Joachim Klein, David Müller, 2019, Formal Methods in System Design.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2017, TACAS.
Christel Baier, Steffen Märcker, Joachim Klein, 2014, TACAS.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2009, COORDINATION.
Joachim Klein, Joachim Klein, 2013 .
Christel Baier, Joachim Klein, C. Baier, 2007, CIAA.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2011, SFM.
Christel Baier, Joachim Klein, Alexandre Duret-Lutz, 2019, ATVA.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2011, CONCUR.
Christel Baier, Hendrik Tews, Steffen Märcker, 2015, J. Comput. Syst. Sci..
Christel Baier, Wang Yi, Bernhard K. Aichernig, 2010, TTSS.
Christel Baier, Steffen Märcker, Joachim Klein, 2016, TACAS.
Christel Baier, Hendrik Tews, Steffen Märcker, 2012, FMICS.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2016, Theory and Practice of Formal Methods.
Christel Baier, Steffen Märcker, Joachim Klein, 2014, FASE.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, Horizons of the Mind.
Joachim Klein, Thomas Scherer, 1999 .
Joachim Klein, Klaus Körner, Holger Ziehr, 1993 .
Christel Baier, Steffen Märcker, Joachim Klein, 2017, International Journal on Software Tools for Technology Transfer.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2015, Acta Informatica.
Christel Baier, Bernhard K. Aichernig, Frank S. de Boer, 2009, FMCO.
Christel Baier, Joachim Klein, Frank Ciesinski, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2018, It's All About Coordination.
Christel Baier, James Worrell, Joachim Klein, 2016, CAV.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, Fundam. Informaticae.
Joachim Klein, Eberhard Dr Kopf, Jean-Marc Ferme, 1997 .
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, CSL-LICS.
Christel Baier, Joachim Klein, Lisa Hutschenreiter, 2017, GandALF.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2009, FMCO.
Jan Kretínský, Joachim Klein, Alexandre Duret-Lutz, 2015, CAV.
Christel Baier, Wolfgang Leister, Joachim Klein, 2010, ISoLA.
Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, LATA.
Christel Baier, Joachim Klein, C. Baier, 2007 .
Christel Baier, Joachim Klein, C. Baier, 2005 .
Xuedong Liang, Wolfgang Leister, Joachim Klein, 2009 .
Christel Baier, James Worrell, Joachim Klein, 2016 .