BuzzPSS系统 1份文件引用(2020) 软件作者： Nuno Machado、Francisco Maia、Miguel Matos、Rui Oliveira 相关软件： ASM；PeerSim；Coq… 主要字段： 计算机科学（68-XX）