Die chinesischen Vertragsarbeiter in Transvaal 1904 - 1910

von Wei, Ansheng
Veröffentlicht 1998

ParaMoC: A Parallel Model Checker for Pushdown Systems

von Wei, Hansheng
Veröffentlicht in ICA3PP (19. : 2019 : Melbourne) Algorithms and architectures for parallel processing ; Part 2 (2020)