Grundzüge des dialektischen Denkens in den Schriften von Li Ta-chao und Mao Tse-tungIngo SchäferAgotadoNotifícame
Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checkingIngo SchäferAgotadoNotifícame
