Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Andreas Wolpers; Werner Stephan
In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information …
Feiyu Xu
In: Proceedings of the ESSLLI '98 Student Session, August 17-28. European Summer School in Logic, Language and Information (ESSLLI), 1998.