Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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 …
In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …
Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer
In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …
Klaus Netter; Tillmann Wegst
ELSNews, European Network in Language and Speech, o.A. Vol. 8.2, 1999.
Mark-Jan Nederhof; Eberhard Bertsch
In: A. Kornai (Hrsg.). Extended Finite State Models of Language. Pages 226-243, Cambridge University Press, Stanford, 1999.
Mark-Jan Nederhof
In: Proceedings of the 6th Meeting on Mathematics of Language (MOL6), July 23-25. Meeting on Mathematics of Language (MOL), Orlando, Florida, USA, …
In: An Encyclopedia of Computer Science and Technology. Pages 45-65, Vol. 41, Marcel Dekker Verlag, 1999.
