奶牛 46篇文献引用(2007–2020) 软件作者： 亚历山德罗·拉帕杜拉；罗萨里奥·普格利泽；弗朗西斯科·蒂埃齐 相关软件： 自旋蛋白；CC-Pi；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
BPEL2oWFN型 25篇文献引用(2007–2020) 软件作者： 尼尔斯·洛曼 相关软件： 奶牛；BPEL2PN；温迪… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…