Gerald Lüttgen

发表

Rance Cleaveland, Martin R. Woodward, Mark Harman, 2009, CSUR.
Rance Cleaveland, V. Natarajan, Gerald Lüttgen, 1996, Theor. Comput. Sci..
Rance Cleaveland, Steve Sims, V. Natarajan, 1996, Softw. Concepts Tools.
Bernhard Steffen, Jens Knoop, Alfons Geser, 1996, CC.
Willem P. de Roever, Michael Mendler, Gerald Lüttgen, 2010, Essays in Memory of Amir Pnueli.
Radu I. Siminiceanu, Gerald Lüttgen, J. Ezekiel, 2007 .
Gerald Lüttgen, W. Vogler, Ferenc Bujtor, 2016 .
Gerald Lüttgen, G. Lüttgen, 2016 .
Gerald Lüttgen, Eugene Yip, Erjola Lalo, 2018 .
F. Piessens, Gerald Lüttgen, Mike Dodds, 2015 .
Jan H. Boockmann, Gerald Lüttgen, 2022, 2022 IEEE/ACM 30th International Conference on Program Comprehension (ICPC).
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2021, Acta Informatica.
Manfred Broy, Michael Mendler, Gerald Lüttgen, 2004, Formal Aspects of Computing.
Gerald Lüttgen, W. Vogler, 2020, Acta Informatica.
Gerald Lüttgen, Sascha Fendrich, S. Fendrich, 2016, Acta Informatica.
Gerald Lüttgen, David H. White, Gerald Lüttgen, 2008, EURASIP J. Embed. Syst..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2004, Inf. Comput..
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2002, SLAP@ETAPS.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2000 .
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, 2001, Handbook of Process Algebra.
Rance Cleaveland, Michael von der Beeck, Gerald Lüttgen, 2000, SIGSOFT '00/FSE-8.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2000, ICALP.
Rance Cleaveland, Michael von der Beeck, Gerald Lüttgen, 1999, CONCUR.
Girish Bhat, Rance Cleaveland, Gerald Lüttgen, 1999, Ann. Softw. Eng..
Victor Carreño, Gerald Lüttgen, Gerald Lüttgen, 1999, SPIN.
Rance Cleaveland, Michael Mendler, Gerald Lüttgen, 1997, CONCUR.
David de Frutos-Escrig, Gerald Lüttgen, Harald Fecher, 2009, FSEN.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2007, Theor. Comput. Sci..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2006, FoSSaCS.
Walter Vogler, Gerald Lüttgen, Ayleen Schinko, 2021, Acta Informatica.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2020, Acta Informatica.
Gerald Lüttgen, Gerald Lüttgen, 2018, FMICS.
Walter Vogler, Gerald Lüttgen, Ferenc Bujtor, 2015, Theor. Comput. Sci..
Walter Vogler, Gerald Lüttgen, Sascha Fendrich, 2014, Acta Informatica.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2012, Log. Methods Comput. Sci..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2009, Theor. Comput. Sci..
Gerald Lüttgen, Gerald Lüttgen, G. Lüttgen, 2006 .
Bernhard Steffen, Gerald Lüttgen, Susanne Graf, 1996, Formal Aspects of Computing.
Xi Chen, Herbert Bos, Jan H. Boockmann, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu, 2011, J. Log. Comput..
Gianfranco Ciardo, Jonathan Ezekiel, Gerald Lüttgen, 2007, CAV.
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu, 2006, FMICS/PDMC.
Jonathan Ezekiel, Radu I. Siminiceanu, Gerald Lüttgen, 2006 .
Jan H. Boockmann, Gerald Lüttgen, Gerald Lüttgen, 2020, LPAR.
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2001, TACAS.
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2007, ICATPN.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2001, CONCUR.
Gerald Lüttgen, Jan Tobias Mühlberg, Gerald Lüttgen, 2010, International Journal on Software Tools for Technology Transfer.
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2000, ICATPN.
Rance Cleaveland, Gerald Lüttgen, R. Cleaveland, 2002, EXPRESS.
Rance Cleaveland, Gerald Lüttgen, R. Cleaveland, 2000, FSTTCS.
Andy Galloway, Gerald Lüttgen, Radu Siminiceanu, 2008, VMCAI.
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner, 2007, Formal Methods Syst. Des..
Gerald Lüttgen, David H. White, Gerald Lüttgen, 2013, TACAS.
Rance Cleaveland, V. Natarajan, Ivan Christoff, 1994, Inf. Comput..
Rance Cleaveland, Steve Sims, V. Natarajan, 1996, TACAS.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2010, Inf. Comput..
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2007, CONCUR.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2007, Inf. Comput..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2004, RAIRO Theor. Informatics Appl..
Michael Mendler, Barry Norton, Gerald Lüttgen, 2003, CONCUR.
M. V. D. Beeck, R. Cleaveland, Gerald Lüttgen, 1999 .
Frank Piessens, Gerald Lüttgen, David H. White, 2015, SEFM.
Jonathan Ezekiel, Gerald Lüttgen, Gerald Lüttgen, 2008, PDMC@CAV.
Radu I. Siminiceanu, Gerald Lüttgen, Gianfranco Ciardo, 2000, ICATPN.