Publikation bearbeiten
Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP
(
Dissertationsschrift
)