Grundlagen der Informatik
Prof. Dr. K. Madlener


Publications, sorted by years

Publications C1, SFB501

Publications of project 'Formal Description Techniques' (C1, SFB501).

Report Series

Most of the technical reports of our research group are published in one of the following report series:

Series Topics
SEKI Artificial Intelligence, Automated Deduction
ZCA Computer Algebra
SFB-501 Software Engineering, Formal Methods

AG Grundlagen der Informatik FB Informatik TU Kaiserslautern

Last Update: Tuesday, 18-Dec-07 18:00:41 GMT

Valid XHTML 1.0!