Ernst-Rüdiger Olderog

发表

Jochen Hoenicke, Ernst-Rüdiger Olderog, E. Olderog, 1998, ZUM.
Ernst-Rüdiger Olderog, Manuel Gieseking, E. Olderog, 2019, Model Checking, Synthesis, and Learning.
Jochen Hoenicke, Ernst-Rüdiger Olderog, E. Olderog, 2002, Nord. J. Comput..
Ernst-Rüdiger Olderog, Henning Dierks, 2008 .
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1983, Sci. Comput. Program..
Bernd Finkbeiner, Bernd Becker, Ernst-Rüdiger Olderog, 2011 .
Ernst-Rüdiger Olderog, Henning Dierks, H. Dierks, 2008 .
Ernst-Rüdiger Olderog, Sven Linker, Martin Hilscher, 2013, Theories of Programming and Formal Methods.
Martin Gogolla, Ernst-Rüdiger Olderog, Grit Denker, 1995, KORSO Book.
Ernst-Rüdiger Olderog, Reinhard Wilhelm, 2012, Informatik-Spektrum.
Ernst-Rüdiger Olderog, Henning Dierks, H. Dierks, 1997, COMPOS.
Ernst-Rüdiger Olderog, David A. Basin, Paul E. Sevinç, 2007, ASIACCS '07.
Ernst-Rüdiger Olderog, Heike Wehrheim, Michael Möller, 2008, Formal Aspects of Computing.
Jos C. M. Baeten, Brian Nielsen, Nicolas Halbwachs, 2005 .
Ernst-Rüdiger Olderog, John-Jules Ch. Meyer, J. W. de Bakker, 1988, J. Comput. Syst. Sci..
Ernst-Rüdiger Olderog, E. Olderog, 1991 .
Ernst-Rüdiger Olderog, Gregor von Bochmann, Sven Linker, 2017, Formal Aspects of Computing.
Bernd Finkbeiner, Ernst-Rüdiger Olderog, B. Finkbeiner, 2014, Inf. Comput..
Rafael Wisniewski, Anders P. Ravn, Ernst-Rüdiger Olderog, 2017, Provably Correct Systems.
Ernst-Rüdiger Olderog, E. Olderog, 1988, REX Workshop.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1991 .
Ernst-Rüdiger Olderog, E. Olderog, 1986, European Workshop on Applications and Theory of Petri Nets.
Anders P. Ravn, Ernst-Rüdiger Olderog, 2006, Acta Informatica.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, 1991 .
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 1997, Texts and Monographs in Computer Science.
Ernst-Rüdiger Olderog, K. R. Apt, F. S. deBoer, 1990 .
Ernst-Rüdiger Olderog, Heike Wehrheim, Clemens Fischer, 2001, FASE.
Ernst-Rüdiger Olderog, Jonathan P. Bowen, Mike G. Hinchey, 1994, NASA Monographs in Systems and Software Engineering.
Ernst-Rüdiger Olderog, Mani Swaminathan, 2013, IFM.
Anders P. Ravn, Ernst-Rüdiger Olderog, Martin Fränzle, 1993, Fifth Euromicro Workshop on Real-Time Systems.
Ernst-Rüdiger Olderog, E. Olderog, 1983, Logic of Programs.
Ernst-Rüdiger Olderog, Stephan Rössig, E. Olderog, 1993, TAPSOFT.
Ernst-Rüdiger Olderog, E. Olderog, 1983, Theor. Comput. Sci..
Anders P. Ravn, Ernst-Rüdiger Olderog, Sven Linker, 2011, ICFEM.
Ernst-Rüdiger Olderog, Dietrich Boles, Ernst-Rüdiger Olderog, 2002 .
Ernst-Rüdiger Olderog, John-Jules Ch. Meyer, J. W. de Bakker, 1987, Theor. Comput. Sci..
Ernst-Rüdiger Olderog, 2003, Electron. Notes Theor. Comput. Sci..
Ernst-Rüdiger Olderog, 2014, Acta Informatica.
Ernst-Rüdiger Olderog, Maike Schwammberger, 2017, Models, Algorithms, Logics and Tools.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2010, J. Comput. Syst. Sci..
Ernst-Rüdiger Olderog, Heike Wehrheim, H. Wehrheim, 2005, Sci. Comput. Program..
Ernst-Rüdiger Olderog, Mani Swaminathan, E. Olderog, 2010, FORMATS.
Ernst-Rüdiger Olderog, Gregor von Bochmann, Sven Linker, 2015, SETTA.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, 1989, Algebraic Methods.
Ernst-Rüdiger Olderog, David A. Basin, Paul E. Sevinç, 2006, ETRICS.
Ernst-Rüdiger Olderog, E. Olderog, 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).
Ernst-Rüdiger Olderog, John-Jules Ch. Meyer, J. W. de Bakker, 1985, STOC '85.
Ernst-Rüdiger Olderog, 2014, GI-Jahrestagung.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, 1981, Logic of Programs.
Ernst-Rüdiger Olderog, E. Olderog, 1981, Acta Informatica.
Ernst-Rüdiger Olderog, Werner Damm, Fault-Tolerant Systems, 1996, Lecture Notes in Computer Science.
C. A. R. Hoare, Ernst-Rüdiger Olderog, 1983, ICALP.
Ernst-Rüdiger Olderog, John-Jules Ch. Meyer, Joost N. Kok, 1986, Current Trends in Concurrency.
Bernd Finkbeiner, Ernst-Rüdiger Olderog, Manuel Gieseking, 2017, SYNT@CAV.
Ernst-Rüdiger Olderog, 1991, Theor. Comput. Sci..
Jan A. Bergstra, Ernst-Rüdiger Olderog, Jan Willem Klop, 1987, Formal Description of Programming Concepts.
Ernst-Rüdiger Olderog, E. Olderog, 1989, Theor. Comput. Sci..
Ernst-Rüdiger Olderog, Johannes Faber, Sven Linker, 2011, Int. J. Softw. Informatics.
Ernst-Rüdiger Olderog, E. Olderog, 1999, Correct System Design.
Ernst-Rüdiger Olderog, E. Olderog, 1992, ICALP.
Ernst-Rüdiger Olderog, Henning Dierks, 2008 .
Ernst-Rüdiger Olderog, Mani Swaminathan, 2014, Formal Aspects of Computing.
Ernst-Rüdiger Olderog, E. Olderog, 2018, Symposium on Real-Time and Hybrid Systems.
Ernst-Rüdiger Olderog, E. Olderog, 1992 .
Ernst-Rüdiger Olderog, E. Olderog, 1984, Theor. Comput. Sci..
Ernst-Rüdiger Olderog, 1981, GI Jahrestagung.
Ernst-Rüdiger Olderog, Ursula Goltz, Rob J. van Glabbeek, 2014, Acta Informatica.
Ernst-Rüdiger Olderog, E. Olderog, 1989, REX Workshop.
Manfred Broy, Ernst-Rüdiger Olderog, M. Broy, 2001, Handbook of Process Algebra.
Ernst-Rüdiger Olderog, E. Olderog, 1986, Advances in Petri Nets.
Ernst-Rüdiger Olderog, Björn Engelmann, 2016, Theory and Practice of Formal Methods.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1988, TOPL.
Ernst-Rüdiger Olderog, Ursula Goltz, Rob van Glabbeek, 1988 .
Bernd Finkbeiner, Ernst-Rüdiger Olderog, Manuel Gieseking, 2015, CAV.
Ernst-Rüdiger Olderog, Michael Schenke, E. Olderog, 1995, STRICT.
Ernst-Rüdiger Olderog, E. Olderog, 2008, TTSS.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2009, Languages: From Formal to Natural.
C. A. R. Hoare, Anders P. Ravn, Hans Rischel, 1994, FTRTFT.
Ernst-Rüdiger Olderog, John-Jules Ch. Meyer, J. Meyer, 1990, Acta Informatica.
Hardi Hungar, Ernst-Rüdiger Olderog, Werner Damm, 2006 .
Bernd Finkbeiner, Ernst-Rüdiger Olderog, 2014, GandALF.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1991 .
Hardi Hungar, Ernst-Rüdiger Olderog, Werner Damm, 2003, FMCO.
Ernst-Rüdiger Olderog, Michael Schenke, E. Olderog, 1999, Acta Informatica.
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2009 .
Ernst-Rüdiger Olderog, Stephan Kleuker, Clemens Fischer, 1997, Informationstechnik Tech. Inform..
Ernst-Rüdiger Olderog, Jan Peleska, Bernd Krieg-Brückner, 1999, World Congress on Formal Methods.
Ernst-Rüdiger Olderog, Henning Dierks, 2008 .
Jan A. Bergstra, Ernst-Rüdiger Olderog, Jan Willem Klop, 1988, SIAM J. Comput..
Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski, 2010, TACAS.
Ernst-Rüdiger Olderog, Henning Dierks, 2008 .
Ernst-Rüdiger Olderog, Heike Wehrheim, H. Wehrheim, 2002, FMCO.
Ernst-Rüdiger Olderog, Heike Wehrheim, Michael Möller, 2004, IFM.
Ernst-Rüdiger Olderog, Bernhard Steffen, 2000, Lecture Notes in Computer Science.
Ernst-Rüdiger Olderog, Jonathan P. Bowen, Hans Langmaack, 1996 .
Joost-Pieter Katoen, Ernst-Rüdiger Olderog, Mani Swaminathan, 2012, Formal Aspects of Computing.
Jochen Hoenicke, Ernst-Rüdiger Olderog, Roland Meyer, 2010, CONCUR.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, F. S. de Boer, 1990 .
Ernst-Rüdiger Olderog, Jun Pang, André Platzer, 2007, Formal Methods and Hybrid Real-Time Systems.
Anders P. Ravn, Ernst-Rüdiger Olderog, A. Ravn, 2000 .
Ernst-Rüdiger Olderog, Krzysztof R. Apt, 1991, Texts and Monographs in Computer Science.
Ernst-Rüdiger Olderog, 1999, FBT.
Ernst-Rüdiger Olderog, John-Jules Ch. Meyer, J. W. de Bakker, 1985, Theor. Comput. Sci..
Rafael Wisniewski, Anders P. Ravn, Ernst-Rüdiger Olderog, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Hans Rischel, Ernst-Rüdiger Olderog, Martin Fränzle, 1993 .
Ernst-Rüdiger Olderog, J. A. Bergstra, J. W. Klop, 1987 .
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 2019, Formal Aspects of Computing.
Bernd Finkbeiner, Ernst-Rüdiger Olderog, Manuel Gieseking, 2019, ATVA.
Ernst-Rüdiger Olderog, Henning Dierks, 2008 .
Ernst-Rüdiger Olderog, Henning Dierks, H. Dierks, 2004, Electron. Notes Theor. Comput. Sci..
Ernst-Rüdiger Olderog, E. Olderog, 1991, CONCUR.
Ernst-Rüdiger Olderog, Manuel Gieseking, Nick Würdemann, 2020, Acta Informatica.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1997, Graduate Texts in Computer Science.
C. A. R. Hoare, Ernst-Rüdiger Olderog, C. Hoare, 1983, Acta Informatica.
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1989, Formal Description of Programming Concepts.
Ernst-Rüdiger Olderog, Roland Meyer, R. Meyer, 2009 .
Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt, 2009 .
Ernst-Rüdiger Olderog, Krzysztof R. Apt, K. Apt, 1984, STACS.
Ernst-Rüdiger Olderog, E. Olderog, 1986, Current Trends in Concurrency.
Ernst-Rüdiger Olderog, Andreas Podelski, 2010, Concurrency, Compositionality, and Correctness.
Ernst-Rüdiger Olderog, Manuel Gieseking, Nick Würdemann, 2021, Acta Informatica.
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, 2021, Model Checking, Synthesis, and Learning.
Glynn Winskel, Manfred Droste, Ernst-Rüdiger Olderog, 2021 .
Flemming Nielson, Anders P. Ravn, Hans Rischel, 1989 .