萨米·伊万格利斯塔;克里斯滕森，拉尔斯·迈克尔 基于Büchi自动机的模型检查的扫线方法。 （英语） Zbl 1359.68190号 芬丹。通知。 131，第1期，27-53（2014）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}和\textit{L.M.Kristensen}，Fundam。通知。131，第1号，27-53（2014；Zbl 1359.68190） 全文： 内政部
萨米·伊万格利斯塔;克里斯滕森，拉尔斯·迈克尔 用扫线法对混合在轨LTL模型进行检验。 （英语） Zbl 1357.68112号 Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347248-267（2012）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Evangelista｝和\textit｛L.M.Kristensen｝，Lect。注释计算。科学。7347，248--267（2012；Zbl 1357.68112） 全文： 内政部
萨米·伊万格利斯塔;克里斯滕森，拉尔斯·迈克尔 独立于搜索顺序的状态缓存。 （英语） Zbl 1312.68132号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型学报》IV。柏林：施普林格出版社（ISBN 978-3-642-18221-1/pbk）。计算机科学课程讲稿6550。《Subline期刊》，21-41（2010）。MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}和\textit{L.M.Kristensen}，莱克特。注释计算。科学。6550，21-41（2010；Zbl 1312.68132） 全文： 内政部
萨米·伊万格利斯塔;迈克尔·韦斯特加德;Kristensen，Lars M。 重温ComBack方法：缓存策略和延迟重复检测扩展。 （英语） Zbl 1266.68048号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务处理III。柏林：施普林格出版社》（ISBN 978-3-642-04854-8/pbk）。计算机科学5800课堂讲稿。《期刊副刊》，189-215（2009）。MSC公司：68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。5800、189--215（2009年；Zbl 1266.68048） 全文： 内政部