// 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 TU / Department of Computer Science / Automated Reasoning / Group / Oliver Markgraf / Publications News Group Anthony W. Lin Chih-Duo Hong Di-De Yen Judith Stengel Oliver Markgraf Publications Curriculum Vitae Pascal Bergsträßer Shuanglong Kan Daniel Stan Muhammad Najib 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