萨米·伊万格利斯塔;克里斯滕森,拉尔斯·迈克尔 基于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},基金会。通知。131,编号1,27-53(2014;兹bl 1359.68190) 全文: 内政部
萨米·伊万格利斯塔;克里斯滕森,拉尔斯·迈克尔 用扫线法对混合在轨LTL模型进行检验。 (英语) 兹伯利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},莱克特。注释计算。科学。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年;兹比尔1312.68132) 全文: 内政部
萨米·伊万格利斯塔;迈克尔·韦斯特加德;Kristensen,Lars M。 重温ComBack方法:缓存策略和延迟重复检测扩展。 (英语) Zbl 1266.68048号 Jensen,Kurt(ed.)等人,《关于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) 全文: 内政部