Florian Leitner-Fischer
发表
Florian Leitner-Fischer,
Florian Leitner-Fischer,
2010
.
Florian Leitner-Fischer,
Husain Aljazzar,
Stefan Leue,
2011,
SPIN.
Florian Leitner-Fischer,
Georgiana Caltais,
Stefan Leue,
2016,
CyPhy.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2011,
QAPL.
Florian Leitner-Fischer,
Florian Leitner-Fischer,
2008
.
Florian Leitner-Fischer,
Florian Leitner-Fischer,
2015
.
Florian Leitner-Fischer,
Tiziana Margaria,
Gabriele Taentzer,
2012
.
Matthias Kuntz,
Florian Leitner-Fischer,
Stefan Leue,
2011,
SAFECOMP.
Florian Leitner-Fischer,
Stefan Leue,
2011
.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2014
.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2014
.
Husain Aljazzar,
Matthias Kuntz,
Florian Leitner-Fischer,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Florian Leitner-Fischer,
Stefan Leue,
2014,
SPIN.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2012
.
Florian Leitner-Fischer,
Stefan Leue,
2012,
MBEES.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2014
.
Florian Leitner-Fischer,
Stefan Leue,
Sirui Liu,
2016
.
Florian Leitner-Fischer,
Stefan Leue,
Todor Georgiev,
2013,
MBEES.
Florian Leitner-Fischer,
Stefan Leue,
2013,
Int. J. Crit. Comput. Based Syst..
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2008
.
Florian Leitner-Fischer,
Stefan Leue,
2013,
VMCAI.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2011,
MBEES.
Matthias Kuntz,
Florian Leitner-Fischer,
Anne Remke,
2010
.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2013,
SPIN.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2013
.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2015,
SPIN.
Florian Leitner-Fischer,
Daniel A. Keim,
Martin Atkinson,
2010,
EuroVAST@EuroVis.