E. Börger

发表

R. Stärk, E. Börger, Robert Stärk, 2003, Springer Berlin Heidelberg.

Egon Börger, Werner Schmidt, Christian Stary, 2012 .

E. Börger, A. Cavarra, E. Riccobene, 2003 .

Egon Börger, E. Börger, 1988 .

Yuri Gurevich, Erich Grädel, Egon Börger, 1997, Perspectives in Mathematical Logic.

E. Börger, 1987, Lecture Notes in Computer Science.

E. Börger, D. Beauquier, A. Slissenko, 2005 .

Egon Börger, Joachim Schmid, E. Börger, 2000, CSL.

Egon Börger, E. Börger, 2007 .

Y. Gurevich, A. Ravn, M. Broy, 2008 .

A. Prinz, E. Börger, K. Schewe, 2019, MEDI.

Hans Kleine Büning, Michael M. Richter, Egon Börger, 1990 .

Dieter Rombach, David Lorge Parnas, Egon Börger, 2021 .

Egon Börger, E. Börger, 1995, Specification and validation methods.

Egon Börger, E. Börger, 1987, Computation Theory and Logic.

Egon Börger, Werner Schmidt, Christian Stary, 2012 .

Christoph Beierle, Egon Börger, E. Börger, 1991, IWBS Report.

Egon Börger, Yuri Gurevich, Erich Grädel, 1997 .

Egon Börger, Reinhard Gotzhein, E. Börger, 2000, J. Univers. Comput. Sci..

Egon Börger, E. Börger, 1989, Studies in Logic and the Foundations of Mathematics.

Michael M. Richter, Egon Börger, Wolfgang Thomas, 1984 .

Egon Börger, E. Börger, 2012, Conceptual Modelling and Its Theoretical Foundations.

Hans Kleine Büning, Egon Börger, H. K. Büning, 1980, Mathematical Logic Quarterly.

Angelo Gargantini, Elvinia Riccobene, Egon Börger, 2003, Lecture Notes in Computer Science.

Andreas Prinz, Egon Börger, A. Prinz, 2008, J. Univers. Comput. Sci..

Egon Börger, Andreas Blass, Yuri Gurevich, 2021 .

Egon Börger, G. Hasenjaeger, Dieter Rodding, 1984, Lecture Notes in Computer Science.

Hans Kleine Büning, Michael M. Richter, Egon Börger, 1992 .

Egon Börger, E. Börger, 2005, Abstract State Machines.

Egon Börger, Jean-Raymond Abrial, Hans Langmaack, 2021 .

Egon Börger, Hans Langmaack, Jean-Raymond Abrial, 1995, Formal Methods for Industrial Applications.

Christoph Beierle, Egon Börger, E. Börger, 1991, IWBS Report.

Egon Börger, Yuri Gurevich, Karl Meinke, 1993 .

Egon Börger, E. Börger, 2003 .

Peter H. Schmitt, Egon Börger, E. Börger, 1990, IWBS Report.

Egon Börger, Werner Schmidt, Christian Stary, 2012 .

Egon Börger, E. Börger, 2001, EUROCAST.

Egon Börger, E. Börger, 1981, FCT.

Egon Börger, Werner Schmidt, Christian Stary, 2012 .

A. Fleischmann, E. Börger, W. Schmidt, 2012 .

Egon Börger, E. Börger, 2018, ISoLA.

Egon Börger, E. Börger, 2003, Verification: Theory and Practice.

Egon Börger, Wolfram Schulte, Wolfram Schulte, 1999, Formal Syntax and Semantics of Java.

Egon Börger, Alexander Raschke, E. Börger, 2018, Springer Berlin Heidelberg.

Egon Börger, James K. Huggins, E. Börger, 1998, Bull. EATCS.

Egon Börger, E. Börger, 2012, Conceptual Modelling and Its Theoretical Foundations.

Egon Börger, E. Börger, 1997, J. Univers. Comput. Sci..

Egon Börger, E. Börger, 2003, Formal Aspects of Computing.

Egon Börger, Dean Rosenzweig, E. Börger, 1995, Sci. Comput. Program..

Egon Börger, Robert F. Stärk, Joachim Schmid, 2001 .

Egon Börger, Werner Schmidt, Christian Stary, 2012 .

Bernhard Thalheim, Egon Börger, Ove Sörensen, 2009, J. Univers. Comput. Sci..

Egon Börger, Iain Craig, E. Börger, 2010, ASM.

Egon Börger, Ove Sörensen, E. Börger, 2011, Handbook of Conceptual Modeling.

Klaus-Dieter Schewe, Egon Börger, E. Börger, 2016, Acta Informatica.

Egon Börger, E. Börger, 1984 .

Malte Lochau, Egon Börger, Ursula Goltz, 2010 .

Egon Börger, Robert F. Stärk, Vincenzo Gervasi, 2005, Theor. Comput. Sci..

Egon Börger, Tommaso Bolognesi, E. Börger, 2003, Abstract State Machines.

Klaus-Dieter Schewe, Egon Börger, E. Börger, 2017, J. Univers. Comput. Sci..

Egon Börger, Werner Schmidt, Christian Stary, 2012 .

Egon Börger, Klaus-Dieter Schewe, E. Börger, 2020, ABZ.

Egon Börger, Tommaso Bolognesi, E. Börger, 2003, Abstract State Machines.

Klaus-Dieter Schewe, Egon Börger, E. Börger, 2020, Fundam. Informaticae.

Hans Kleine Büning, Egon Börger, H. K. Büning, 1980, Theor. Comput. Sci..

Egon Börger, Simone Zenzaro, E. Börger, 2015, S-BPM ONE.

Werner Schmidt, Christian Stary, Albert Fleischmann, 2012, Springer Berlin Heidelberg.

Egon Börger, E. Börger, 2012, Springer Berlin Heidelberg.

Egon Börger, S. Mazzanti, E. Börger, 1997, ZUM.

Egon Börger, E. Börger, 1987, Computation Theory and Logic.

Egon Börger, Don S. Batory, D. Batory, 2008, FoIKS.

Egon Börger, Don S. Batory, D. Batory, 2008, J. Univers. Comput. Sci..

Klaus-Dieter Schewe, Qing Wang, Egon Börger, 2016, Sci. Comput. Program..

Peter H. Schmitt, Egon Börger, E. Börger, 1997, J. Log. Comput..

Egon Börger, E. Börger, 1983, Logic and Machines.

Wolfram Schulte, Egon Börger, Wolfram Schulte, 2000 .

Egon Börger, E. Börger, 1990, IWBS Report.

Egon Börger, Alexander Raschke, E. Börger, 2018 .

Egon Börger, Robert F. Stärk, R. Stärk, 2003 .

Egon Börger, Peter Päppinghaus, Joachim Schmid, 2000, Abstract State Machines.