在dblp中搜索出版物

导出结果“toc:db/conf/ictac/ictac2012.bht:”

>主页 >搜索

以.bib文件的形式下载

@正在进行{DBLP:conf/ictac/AkshayGHY12，author={S.Akshay和Blaise Genest和Lo{\“{\i}}cH{\'{e}}lou{\”{e}t和Shaofa Yang}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={符号限定时间约束的漂移{MSC}图}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数＝{1-15}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_1},doi={10.1007/978-3642-32943-2\_1}，timestamp={2021年11月30日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/ictac/AkshayGHY12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@inprocesdings{DBLP:conf/ictac/BenesK12，author={Nikola Benes和Jan Kret｛\'｛\i｝｝nsk｛\'｛y｝｝｝，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={模式过程重写系统}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={120--135}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_9},doi={10.1007/978-3642-32943-2\_9}，时间戳＝｛2022年10月2日星期日01:00:00+0200｝，biburl={https://dblp.org/rec/conf/ictac/BenesK12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/CaillaudR12，author={Beno{\^{\i}}t Caillaud和牛仔{-}浸礼会小轮}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={通过设计确保可达性}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={213--227}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_17},doi={10.1007/978-3642-32943-2\_17}，timestamp={2017年5月23日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/CaillaudR12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/CranenKW12，author={Sjoerd Cranen和Jeroen J.A.Keiren和Tim A.C.Willemse}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={口吃平价游戏的治疗}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，pages＝{198-212}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_16},doi={10.1007/978-3642-32943-2\_16}，timestamp={2017年9月16日星期六01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/CranenKW12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/DSouzaM12，author={Deepak D'Souza和Raj Mohan Matteplackel}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title＝｛用于{LTL}}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={16--29}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_2},doi={10.1007/978-3642-32943-2\_2}，timestamp={2017年5月23日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/DSouzaM12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/DaiX12，author={戴丽云和碧灿霞}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={简单线性循环的非终止集}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页码＝{61-73}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_5},doi={10.1007/978-3642-32943-2\5}，timestamp={2017年5月23日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/DaiX12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/FosterRS12，作者=｛Simon Foster和Ondrej Rypacek和乔治·斯特鲁斯}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={通过扩展类型推理实现面向对象模型的正确性}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={46--60}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_4} ，doi={10.1007/978-3642-32943-2\4}，timestamp={2018年11月2日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/ictac/FosterRS12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/LodhaPRST12，author={Sachin Lodha和Nikhil Patwardhan和阿希姆·罗伊和Sharada Sundaram和迪利斯·托马斯}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={使用{MASKETEERTM}}的数据隐私，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={151--158}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_11},doi={10.1007/978-3642-32943-2\_11}，timestamp={2017年5月23日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/LodaPRST12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/MariMST12，author={Federico Mari和伊戈尔·梅拉蒂和伊万诺·萨尔沃和Enrico Tronci}，editor={Abhik Roychoudhury和Meenakshi D’Souza}，title={离散时间量化状态反馈控制的不确定性线性混合系统}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={243--258}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_19},doi={10.1007/978-3642-32943-2\_19}，时间戳={2019年9月25日星期三01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/MariMST12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@在过程{DBLP:conf/itac/NikolicS12，author={Durica Nikolic和福斯托·斯波托，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={Java字节码的定义表达式别名分析}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={74--89}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_6},doi={10.1007/978-3642-32943-2\_6}，timestamp={2021年10月14日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/NikolicS12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@进料{DBLP:conf/ictac/PeyronnetRS12，author={Sylvain Peyronnet和Michel de Rougemont和Yann Strozecki}，editor={Abhik Roychoudhury和Meenakshi D’Souza}，title={近似验证和枚举问题}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={228--242}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_18} ，doi={10.1007/978-3642-32943-2\_18}，timestamp={2017年5月23日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/PeyronnetRS12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/RaviramPSR12，author={Sachin Raviram和Prakash Mohan Peranandam和Manoranjan Satpathy和S.Ramesh}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title＝｛SmartTestGen+：｛A｝增强结构覆盖的测试套件助推器｝，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={164--167}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_13},doi={10.1007/978-3642-32943-2\_13}，timestamp={2022年3月15日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/ictac/RaviramPSR12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/Riesco12，作者={Adri{\'{a}}n Riesco}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={使用Maude中指定的语义生成测试用例}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={90--104}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_7} ，doi={10.1007/978-3642-32943-2\_7}，timestamp={2019年8月29日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/Riesco12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/RiescoR12，author={Adri{\'{a}}n Riesco和胡安·罗德｛-｝Hortal公司{\'{a}}}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={建造商系统的S-Narrowing}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={136--150}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_10},doi={10.1007/978-3642-32943-2\_10}，时间戳＝｛2019年8月29日星期四01:00:00+0200｝，biburl={https://dblp.org/rec/conf/ictac/RiescoR12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/RoyBL12，author={苏曼·罗伊和Sidharth Bihary和Jose Alfonso Corso老挝}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={一致性检查工具CSPConCheck}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={159--163}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_12},doi={10.1007/978-3642-32943-2\_12}，timestamp={2021年10月14日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/RoyBL12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/Sanchez-GilHO12，作者＝｛Lidia S｛\'｛a｝｝nchez{-}吉尔和梅赛德斯·伊达尔戈{-}埃雷罗和尤兰达·奥尔特加{-}购物中心{\'{e}}n}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={Lazy自然语义的局部无名表示评估}，booktitle＝｛计算的理论方面-｛ICTAC｝2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={105--119}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_8},doi={10.1007/978-3642-32943-2\_8}，timestamp={2017年6月4日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/Sanchez-GilHO12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在处理{DBLP:conf/ictac/SanchezS12，author={C{'{e}}sarS{'{a}}nchez和朱利安·桑博斯基{-}福勒斯},editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={如何将时间逻辑的有效扩展转换为交替自动化}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={30--45}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_3},doi＝{10.1007/978-3-642-32943-2\_3}，timestamp={2022年12月28日星期三00:00:00+0100}，biburl={https://dblp.org/rec/conf/ictac/SanchezS12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/ictac/WilliamsRF12，author={David M.Williams和Joeri de Ruiter和Wan J.Fokkink}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={ProB中公平性下的模型检验及其在公平中的应用Exchange协议}，booktitle={计算的理论方面-{ICTAC}2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页数={168--182}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_14},doi={10.1007/978-3642-32943-2\_14}，timestamp={2021年10月14日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/WilliamsRF12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@在过程{DBLP:conf/itac/YatakeA12，author={Kenro Yatake和青木Toshiaki}，editor={Abhik Roychoudhury和Meenakshi D'Souza}，title={基于环境的{OSEK/VDX}{OS}设计模型的模型检查建模}，booktitle＝｛计算的理论方面-｛ICTAC｝2012-第九届国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，页码={183--197}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2\_15},doi={10.1007/978-3642-32943-2\_15}，timestamp={2022年12月7日星期三00:00:00+0100}，biburl={https://dblp.org/rec/conf/ictac/YatakeA12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

@会议记录{DBLP:conf/ictac/2012，editor={Abhik Roychoudhury和Meenakshi D’Souza}，title={计算的理论方面-{ICTAC}2012-第九国际座谈会，印度班加罗尔，2012年9月24日至27日。诉讼}，series={计算机科学讲稿}，体积={7521}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3642-32943-2},doi={10.1007/978-3642-32943-2}，isbn={978-3-642-32942-5}，时间戳={2019年5月14日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/ictac/2012.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。