摘要：空间和时间特性保护及规避逻辑（STREL）：一个用于监测移动和空间分布的网络系统的形式化语言和算法的研究
作者：L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti
论文ID：2105.11400
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中