NetKAT公司 33篇文献引用(2014–2023) 软件作者： Anderson，C.J.，Foster，N.，Guha，A.，Jeannin，J.-B.，Kozen，D.，Schlesinger，C.，Walker，D。 相关软件： 狂热；VeriFlow；食蚁兽… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；结合环与代数（16-XX）…
VeriFlow公司 引用于7份文件(2016–2022) 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
Nettle公司 4份文件引用(2017–2023) 软件作者： A.Voellmy、A.Agarwal、P.Hudak 相关软件： 狂热；NetKAT；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
氮氧化物 引用于3份文件(2016–2020) 软件作者： 娜塔莎·古德；Teemu Koponen；贾斯汀·佩蒂特；本·普法夫（Ben Pfaff）；马丁·卡萨多；尼克·麦考恩（Nick McKeown）；教授斯科特·申克 相关软件： RUNOS；NetKAT；SGS… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
z更新 引用于3份文件(2019–2023) 软件作者： Liu，H.H.，Wu，X.，Zhang，M.，Yuan，L.，Wattenhofer，R.，Maltz，D.A。 相关软件： AdamMC；PTrie；NuSMV… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
超流（HyperFlow） 2份文件引用(2018–2020) 软件作者： A.Tootoonchian、Y.Ganjali 相关软件： github；NetKAT；SGS… 主要字段： 计算机科学（68-XX）
RUNOS公司 2份文件引用(2018–2019) 软件作者： ARCCN公司 相关软件： 氮氧化物；Mininet；HyperFlow… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
CoVisor公司 1份文件引用(2015) 软件作者： Xin Jin、Jennifer Gossels、Jennafer Rexford、David Walker 相关软件： NetKAT公司 主要字段： 计算机科学（68-XX）
微型CPS 在0个文档中引用 软件作者： 丹尼尔·安东尼奥利（Daniele Antonioli）、尼尔斯·奥勒·蒂彭豪尔（Nils Ole Tippenhauer） 相关软件： OMNet++；pycomm；POX… 主要字段： –
OpenFlowSIA公司 1份文件引用(2020) 软件作者： Phan，T.V。；Van Toan，T。；Van Tuyen，D。；Huong，T.T。；新罕布什尔州Thanh。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）
SDN-OpenFlowBackupRules 在0个文档中引用 软件作者： Niels L.M.van Adrichem、Farabi Iqbal、Fernando A.Kuipers 相关软件： – 主要字段： –