玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 参数化异步共享内存下推系统的模型检查线性时间属性。 （英语） Zbl 1495.68134号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427155-175（2017年）。MSC公司：第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Fortin}等人，Lect。注释计算。科学。10427，155--175（2017；Zbl 1495.68134） 全文： 内政部 哈尔
伊戈尔·瓦卢基维奇 配置困难–LTrL的复杂性。 （英语） Zbl 1075.68052号 形式方法系统。设计。 26，第1期，第27-43页（2005年）.MSC公司：第68季度第60季度 03B44号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}，《形式与方法系统》。设计。26，第1号，27-43（2005；Zbl 1075.68052） 全文： 内政部
伊戈尔·瓦卢基维奇 困难的配置——关于LTrL的复杂性（扩展抽象）。 （英语） Zbl 0909.03024号 Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 140-151 (1998).MSC公司：03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}，莱克特。注释计算。科学。1443、140--151（1998年；Zbl 0909.03024）