Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Jörg Becker; Michael zur Mühlen; Michael Rosemann (Hrsg.)
Workflow Management Conference, November 9, Münster, Germany, Working Paper Series of the Department of Information Systems, No. 70, 1999.
Franz Schmalhofer; Ludger van Elst; Felix-Robinson Aschoff; Olaf Bärenfänger; Lyle E. Bourne
In: Zeitschrift für Experimentelle Psychologie, Vol. 46, No. 3, Pages 204-216, 1999.
Franz Schmalhofer; Ludger van Elst
In: Dieter Fensel; Rudi Studer (Hrsg.). Knowledge Acquisition, Modeling and Management, Proceedings of the 11th European Workshop, EKAW '99, Dagstuhl …
Heiko Mantel; Jens Otten
In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …
Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
Dieter Hutter
In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …
Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.
Georg Rock; Werner Stephan; Andreas Wolpers
In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …