// this code is not protected from variable substitution of the generator!!! $level = 4; $param = << Automatic Reasoning Group: Publications DEEN Suche extern bei StartPage NewsDept. of CSUniversityStudiesDept. of CSUniversityResearchDept. of CSUniversityUniversityApplicantsDept. of CSUniversity RPTU / Department of Computer Science / Automated Reasoning / Group / Pascal Bergsträßer / Publications News Group Anthony W. Lin Eva González García Hongjian Jiang Judith Stengel Oliver Markgraf Pascal Bergsträßer Publications Curriculum Vitae Rodrigo Raya Publications CerVerA Teaching Contact Feedback for this Page 2017 if (4 <= 1) { ?>News [more ...] @include("/home/www/htdocs/en/hotnews.en.html"); ?> } ?>Quick LinksDepartment of Computer ScienceCourses of StudiesLecturesProfessorsDean's OfficeSCIStudents CouncilAlumniColloquia TU KaiserslauternStudentServiceCentreFacultiesInternational StudentsUniversity LibraryCafeteria MenuCourse CatalogueFAQ Frequently Asked Questions
Suche extern bei StartPage