Marc Spielmann
发表
Christoph Barz,
Julia Niewiejska,
Norman Jansen,
2015,
2015 International Conference on Military Communications and Information Systems (ICMCIS).
Marc Spielmann,
2000,
PODS '00.
Marc Spielmann,
Marc Spielmann,
2000
.
Jacques Bouaud,
Brigitte Séroussi,
Éric-Charles Antoine,
2001,
MedInfo.
Norman Jansen,
Marc Spielmann,
Daniel Krämer,
2015,
AGIT Journal Angew. Geoinformatik.
Jan Van den Bussche,
Jan Hidders,
Jerzy Tyszkiewicz,
2010,
Theory of Computing Systems.
Erich Grädel,
Marc Spielmann,
1999,
World Congress on Formal Methods.
Marc Spielmann,
Marc Spielmann,
2003,
J. Comput. Syst. Sci..
Jacques Bouaud,
Brigitte Séroussi,
Éric-Charles Antoine,
2001,
AIME.
Jan Van den Bussche,
Jerzy Tyszkiewicz,
Marc Spielmann,
2002,
PODS.
Marc Spielmann,
Marc Spielmann,
2000
.
Marc Spielmann,
2000,
Abstract State Machines.
Jacques Bouaud,
Brigitte Séroussi,
Éric-Charles Antoine,
2000,
AMIA.
Marc Spielmann,
Sylvia Kaethner,
2005
.
Jacques Bouaud,
Brigitte Séroussi,
Éric-Charles Antoine,
2000,
EWGLP.
Marc Spielmann,
1999,
CAV.
Yuri Gurevich,
Marc Spielmann,
Y. Gurevich,
2017,
J. Univers. Comput. Sci..
Norman Jansen,
Daniel Kramer,
Marc Spielmann,
2014,
2014 IEEE Military Communications Conference.