PARIS: Plan Abstraction and Refinement in an Integrated System | SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

PARIS: Plan Abstraction and Refinement in an Integrated System

Laufzeit: 01.01.1994 - 31.12.1996

Förderung durch: University of Kaiserslautern

Website

Kurzfassung

Projektbeschreibung siehe: http://www.uni-trier.de/index.php?id=21644

Projektteam

Ralph Bergmann
Mitarbeiter/in
(Informatikwissenschaften)

Beteiligte Einrichtungen

Informatikwissenschaften
(Universität Trier)