Normal view
MARC view
Bochmann, Gregor V (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)742608: Luo, Gang 755126, Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp- Method