Marcus Größer

发表

Christel Baier, Frank Ciesinski, Marcus Größer, 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Frank Ciesinski, Marcus Größer, Marcus Größer, 2004, Validation of Stochastic Systems.
Marcus Größer, Marcus Größer, 2008 .
Christel Baier, Nathalie Bertrand, Marcus Größer, 2009, DCFS.
Christel Baier, Frank Ciesinski, Marcus Größer, 2006, FSTTCS.
Christel Baier, Benedikt Bollig, Frank Ciesinski, 2004, IFIP TCS.
Christel Baier, Frank Ciesinski, Marcus Größer, 2008, SPIN.
Christel Baier, Marcus Größer, Mathieu Tracol, 2009, FSTTCS.
Christel Baier, Marcus Größer, C. Baier, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Christel Baier, Frank Ciesinski, Marcus Größer, 2005, PERV.
Christel Baier, Frank Ciesinski, Marcus Größer, 2009, ATVA.
Christel Baier, Joachim Klein, Frank Ciesinski, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2007, FSTTCS.
Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2014, Log. Methods Comput. Sci..
Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008 .
Christel Baier, Nathalie Bertrand, Marcus Größer, 2009, CONCUR.
Christel Baier, Tomás Brázdil, Marcus Größer, 2007, QEST.
Christel Baier, Marcus Größer, Pedro R. D'Argenio, 2006, QAPL.
Christel Baier, Nathalie Bertrand, Marcus Größer, 2009, SOFSEM.
Christel Baier, Nathalie Bertrand, Marcus Größer, 2008, FoSSaCS.
Christel Baier, Tomás Brázdil, Marcus Größer, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Christel Baier, Frank Ciesinski, Marcus Größer, 2009 .
Christel Baier, Frank Ciesinski, Marcus Größer, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Christel Baier, Marcus Größer, C. Baier, 2005, FMCO.
Christel Baier, Nathalie Bertrand, Marcus Größer, 2012, JACM.