Grundzüge des dialektischen Denkens in den Schriften von Li Ta-chao und Mao Tse-tungIngo SchäferÉpuiséPrévenez-moi
Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checkingIngo SchäferÉpuiséPrévenez-moi
