Grundzüge des dialektischen Denkens in den Schriften von Li Ta-chao und Mao Tse-tungIngo SchäferVypredanáPostrážiť
Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checkingIngo SchäferVypredanáPostrážiť
