洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 (英语) Zbl 07566065号 日志。方法计算。科学。 18,第2号,第9号论文,37页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,日志。方法计算。科学。18,第2号,第9号论文,37页(2022;Zbl 07566065) 全文: arXiv公司 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基 单时钟时间自动机的可确定性。 (英语) Zbl 07559498号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第42条,第17页(2020)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,LIPIcs——莱布尼茨国际程序。通知。171,第42条,第17页(2020;Zbl 07559498) 全文: 内政部 arXiv公司