×

找到51个文档（结果1-51）

最新的 引文 关联
劳拉·博泽利;阿德里亚诺·佩隆

无限单词上的参数区间时态逻辑。 （英语） 兹比尔1530.68155

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370，97-113（2022）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155）
全文： arXiv公司 链接
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

Pspace-子区间和后缀的时间逻辑的完整性。 （英语） Zbl 07744952号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第9条，第19页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。206，第9条，第19页（2021；Zbl 07744952）
全文： 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆

可视下推系统的时间间隔逻辑。 （英语） Zbl 07650330号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150，第33条，第14页（2019年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。150，第33条，第14页（2019年；Zbl 07650330）
全文： 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆

模型检查区间时序逻辑统一算法的复杂性分析。 （英语） Zbl 1515.68172号

Gamper，Johann（编辑）等人，第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。147，第18条，第17页（2019年）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。147，第18条，第17页（2019年；Zbl 1515.68172）
全文： 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ （英语） Zbl 1429.68139号

西奥。计算。科学。 764, 125-144 (2019).
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Theor。计算。科学。764125-144（2019年；Zbl 1429.68139）
全文： 内政部 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

时间间隔与时间点逻辑模型检查。表现力比较。 （英语） Zbl 1407.68283号

ACM事务处理。计算。日志。 第20条第1款第4条第31页（2019年）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，ACM Trans。计算。日志。20，第1号，第4条，第31页（2019年；Zbl 1407.68283）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;洛雷达纳·索伦蒂诺

关于交替时间逻辑与线性过去的结果。 （英语） Zbl 1487.68155号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第6条，第22页（2018年）。
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。120，第6条，22 p.（2018；Zbl 1487.68155）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆

时间上下文无关时序逻辑。 （英语） Zbl 1528.68212号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277235-249（2018）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277235--249（2018；Zbl 1528.68212）
全文： arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 （英语） Zbl 1400.68121号

Inf.计算。 262，第2部分，241-264（2018）.
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，《信息计算》。262，第2部分，241--264（2018；Zbl 1400.68121）
全文： 内政部 链接
劳拉·博泽利;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺

分层成本平价游戏。 （英语） Zbl 1515.68201号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，2017年《时代》杂志，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第6条，第17页（2017年）。
MSC公司：68问题85 60年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。90，第6条，第17页（2017；Zbl 1515.68201）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺

关于模块检查的复杂性。 （英语） Zbl 1483.68187号

Bouyer，Patricia（ed.）等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256268-282（2017）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Murano}，电子。程序。西奥。计算。科学。（EPTCS）256268--282（2017；Zbl 1483.68187）
全文： arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆

带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 （英语） Zbl 1483.68186号

Bouyer，Patricia（ed.）等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256，31-45（2017）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256，31-45（2017；Zbl 1483.68186）
全文： arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 1442.68103号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第120条，第14页（2017年）。
MSC公司：60年第68季度 03B44号 2017年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。80，第120条，第14页（2017年；Zbl 1442.68103）
全文： 内政部
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆

对使用正则表达式检查区间时态逻辑模型的深入研究。 （英语） Zbl 1420.68120号

Cimatti，Alessandro（编辑）等人，《软件工程和形式化方法》。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10469, 104-119 (2017).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。10469，104-119（2017；Zbl 1420.68120）
全文： 内政部 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 （英语） Zbl 1478.68148号

Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22676-90（2016年）。
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226、76--90（2016年；Zbl 1478.68148）
全文： arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

时间间隔与时间点逻辑模型检查：表达性比较。 （英语） Zbl 1391.68075号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第26条，第14页。(2016).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。65，第26条，第14页（2016；Zbl 1391.68075）
全文： 内政部 arXiv公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 （英语） Zbl 1475.68177号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 389-405 (2016).
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。9706389--405（2016；Zbl 1475.68177）
全文： 内政部
劳拉·博泽利;大卫·皮尔斯

时间均衡逻辑的复杂性。 （英语） 兹比尔1394.68223

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。645-656 (2015).
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{D.Pearce}，摘自：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。645--656（2015；Zbl 1394.68223）
全文： 内政部 arXiv公司
劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特

统一超时间逻辑和认知时间逻辑。 （英语） 兹比尔1459.03019

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第9034页，第167-182页（2015年）。
MSC公司：03B44号 03B42号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。9034、167--182（2015；Zbl 1459.03019）
全文： 内政部 arXiv公司
劳拉·博泽利;塞萨尔·桑切斯

可见的线性时序逻辑。 （英语） Zbl 1423.68274号

Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 418-433 (2014).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{C.Sánchez}，莱克特。注释计算。科学。8562、418--433（2014年；Zbl 1423.68274）
全文： 内政部
劳拉·博泽利;苏菲·平奇纳特

计数器系统的间隙阶约束抽象的验证。 （英语） Zbl 1325.68141号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿714888-103（2012）。
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{S.Pinchinat}，莱克特。注释计算。科学。7148，88-103（2012；Zbl 1325.68141）
全文： 内政部
劳拉·博泽利

利用不完全信息进行下推模块检查的新结果。 （英语） 兹比尔1457.68160

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，162-177（2011）。
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，电子。程序。西奥。计算。科学。（EPTCS）54，162--177（2011；Zbl 1457.68160）
全文： arXiv公司 链接
劳拉·博泽利;拉诺特、拉格罗

CaRet的混合和一阶完全扩展。 （英语） Zbl 1333.03005号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，58-72（2011）。
MSC公司：03B44号 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{R.Lanotte}，莱克特。注释计算。科学。6793，58-72（2011；Zbl 1333.03005）
全文： 内政部
劳拉·博泽利;Legay、Axel;苏菲·平奇纳特

基本形式的预订单检查硬度。 （英语） Zbl 1253.68219号

Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。《人工智能讲义》，119-135（2010）。
MSC公司：60年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。6355、119--135（2010年；Zbl 1253.68219）
全文： 内政部
劳拉·博泽利

忘记过去。 （英语） Zbl 1347.68219号

Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231343-361（2009）。
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，电子。注释Theor。计算。科学。231343--361（2009年；Zbl 1347.68219）
全文： 内政部
劳拉·博泽利;Legay、Axel;苏菲·平奇纳特

并发定时游戏的定时交替模拟。 （英语） Zbl 1248.68320号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，85-96，仅电子版（2009年）。
MSC公司：60年第68季度 03B44号 2017年第68季度 91A06型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。4、85-96（2009年；Zbl 1248.68320）
全文： 内政部 链接
劳拉·博泽利;拉诺特、拉格罗

线性时间混合逻辑的复杂性和简洁性问题。 （英语） Zbl 1178.03029号

Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。人工智能课堂讲稿，48-61（2008）。
MSC公司：03B44号 03B62号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{R.Lanotte}，莱克特。注释计算。科学。5293，48-61（2008；Zbl 1178.03029）
全文： 内政部
劳拉·博泽利

CTL（^*\）+线性过去的复杂性。 （英语） 兹比尔1139.68037

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962186-200（2008）。
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，莱克特。注释计算。科学。4962、186-200（2008年；Zbl 1139.68037）
全文： 内政部
劳拉·博泽利

交替自动机和可视下推语言的时间不动点演算。 （英语） Zbl 1151.68458号

Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703476-491（2007）。
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，莱克特。注释计算。科学。4703476--491（2007年；Zbl 1151.68458）
全文： 内政部
劳拉·博泽利;萨尔瓦多拉托雷

上下界参数时间自动机的决策问题。 （英语） Zbl 1171.68525号

Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596925-936（2007）。
MSC公司：65年第68季度 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{S.La Torre}，莱克特。注释计算。科学。4596、925--936（2007年；Zbl 1171.68525）
全文： 内政部
劳拉·博泽利;雷吉斯·加斯科

分支时间时序逻辑扩展了定性Presburger约束。 （英语） Zbl 1165.03324号

Hermann，Miki（编辑）等人，《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48281-9/pbk）。计算机科学课堂讲稿4246。人工智能课堂讲稿，197-211（2006）。
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{R.Gascon}，莱克特。注释计算。科学。4246，197--211（2006；Zbl 1165.03324）
全文： 内政部
劳拉·博泽利;莫西尔·Křetínsk \345];艾哈克，沃伊特;斯特雷切克，简

过程重写系统LTL模型检查的可判定性。 （英语） Zbl 1177.68143号

Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337248-259（2006）。
MSC公司：60年第68季度 03B25号 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。4337、248--259（2006年；Zbl 1177.68143）
全文： 内政部
帕特里夏·鲍耶;劳拉·博泽利;Fabrice骑士

MTL规范的控制器合成。 （英语） Zbl 1151.68471号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。2006年8月27日至30日，德国波恩，2006年第17届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137，450-464（2006）。
MSC公司：60年第68季度 03B44号 65年第68季度 93亿B51
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。4137450-464（2006年；Zbl 1151.68471）
全文： 内政部
劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆

验证格式良好的通信递归状态机。 （英语） 兹比尔1176.68115

艾默生·E·艾伦（编辑）等人，《验证、模型检查和抽象解释》。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。《计算机科学讲义》3855、412-426（2006）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。3855412--426（2006年；Zbl 1176.68115）
全文： 内政部
劳拉·博泽利

分支时间下推模型检查的复杂性结果。 （英语） Zbl 1176.68114号

艾默生·E·艾伦（编辑）等人，《验证、模型检查和抽象解释》。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。计算机科学课堂讲稿3855，65-79（2006）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，莱克特。注释计算。科学。3855、65-79（2006年；Zbl 1176.68114）
全文： 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆

下压模块检查。 （英语） Zbl 1143.68446号

Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835，504-518（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，Lect。注释计算。科学。3835、504--518（2005年；Zbl 1143.68446）
全文： 内政部 链接
劳拉·博泽利

流程重写系统的模型检查和一类基于操作的规则属性。 （英语） 兹比尔1097.68570

Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学课堂讲稿3385，282-297（2005）。
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}，莱克特。注释计算。科学。3385、282--297（2005年；Zbl 1097.68570）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件