加尔阿姆拉姆;沙哈尔·茂兹;活塞，或;詹·奥利弗·林格特 欧米伽规则能量游戏的高效算法。 （英语） Zbl 1522.91065号 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047163-181（2021年）。MSC公司：91A68型 91年43月 91A05级 PDF格式BibTeX公司 XML格式引用 \textit｛G.Amram｝等人，Lect。注释计算。科学。13047163-181（2021年；Zbl 1522.91065） 全文： 内政部 链接
加尔阿姆拉姆;沙哈尔·茂兹;活塞，或 GR（1）*：用存在保证扩展的GR（一）规范。 （英语） Zbl 1519.68129号 正式Asp。计算。 33，编号4-5，729-761（2021）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人，正式Asp。计算。33，编号4--5，729--761（2021；Zbl 1519.68129） 全文： 内政部