M. Majster-Cederbaum
发表
Christel Baier,
Mila E. Majster-Cederbaum,
Bettina Engelen,
2000,
J. Comput. Syst. Sci..
M. Majster-Cederbaum,
M. Martens,
Christoph Minnameier,
2006
.
Mila Majster-Cederbaum,
M. Majster-Cederbaum,
1989
.
M. Majster-Cederbaum,
P. Peters,
1992
.
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1997,
Fundam. Informaticae.
Mila E. Majster-Cederbaum,
Angelika Reiser,
M. Majster-Cederbaum,
1980,
SIAM journal on computing (Print).
M. Majster-Cederbaum,
M. Roggenbach,
1997
.
M. Majster-Cederbaum,
M. Sorea,
Frank Salger,
2000
.
M. Majster-Cederbaum,
1998
.
M. Majster-Cederbaum,
M. Roggenbach,
1998
.
C. Baier,
M. Majster-Cederbaum,
1997
.
M. Majster-Cederbaum,
M. Martens,
2012,
Formal Methods Syst. Des..
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
1980,
ICALP.
Christel Baier,
Verena Wolf,
Mila E. Majster-Cederbaum,
2006,
QAPL.
Christel Baier,
Verena Wolf,
Mila E. Majster-Cederbaum,
2006,
QAPL.
Naijun Zhan,
Mila E. Majster-Cederbaum,
N. Zhan,
2010,
Inf. Comput..
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1996,
Theor. Comput. Sci..
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1996,
AMAST.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1994,
Acta Informatica.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1991,
FCT.
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
1985,
Computing.
Mila E. Majster-Cederbaum,
Christian Lambertz,
M. Majster-Cederbaum,
2011,
FSEN.
Jinzhao Wu,
Mila E. Majster-Cederbaum,
Houguang Yue,
2006,
Acta Informatica.
Jinzhao Wu,
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
2003,
Acta Informatica.
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
2001,
Theor. Comput. Sci..
Moritz Martens,
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Christoph Minnameier,
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
2006,
ICTAC.
Naijun Zhan,
Mila E. Majster-Cederbaum,
N. Zhan,
2005,
FORTE.
Jinzhao Wu,
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
2003,
ICFEM.
Naijun Zhan,
Harald Fecher,
Mila E. Majster-Cederbaum,
2002,
VMCAI.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1997,
Acta Informatica.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1996,
Inf. Process. Lett..
Mila E. Majster-Cederbaum,
F. Zetzsche,
M. Majster-Cederbaum,
1991,
Inf. Comput..
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
1989,
Inf. Process. Lett..
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
1988,
Inf. Process. Lett..
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1994,
Theor. Comput. Sci..
Verena Wolf,
Mila E. Majster-Cederbaum,
Nils Semmelrock,
2007,
BIOCOMP.
Markus Roggenbach,
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
2000,
Theor. Comput. Sci..
Mila E. Majster-Cederbaum,
Christian Lambertz,
M. Majster-Cederbaum,
2013,
Sci. Comput. Program..
Mila E. Majster-Cederbaum,
M. Majster-Cederbaum,
1979,
Theor. Comput. Sci..
Jinzhao Wu,
Xiuli Sun,
Xiaoyu Song,
2004,
Fifth International Workshop on Microprocessor Test and Verification (MTV'04).
Joseph Sifakis,
Gregor Gößler,
Susanne Graf,
2007,
SOFSEM.
Joseph Sifakis,
Mila Majster-Cederbaum,
Susanne Graf,
2007
.
Mila E. Majster-Cederbaum,
Frank Salger,
M. Majster-Cederbaum,
2004,
Theor. Comput. Sci..
Maria Sorea,
Mila E. Majster-Cederbaum,
Frank Salger,
2000,
FORTE.
Mila E. Majster-Cederbaum,
Frank Salger,
M. Majster-Cederbaum,
2000,
SPIN.
Christel Baier,
Mila E. Majster-Cederbaum,
C. Baier,
1997,
Formal Aspects of Computing.
Mila E. Majster-Cederbaum,
F. Zetzsche,
M. Majster-Cederbaum,
1994,
Theor. Comput. Sci..
M. Majster-Cederbaum,
Harald Fecher,
2006,
Formal Aspects of Computing.