提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ictac/CaillaudR12AU-贝诺·凯劳德AU-Raclet，Jean-BaptisteTI-通过设计确保可达性。2012年9月24日至27日，印度班加罗尔，第九届国际学术讨论会，BT——计算的理论方面。诉讼程序SP-213型EP-2272012年上半年//DO-2007年10月10日/978-3642-32943-2_17UR-（欧元）https://doi.org/10.1007/978-3642-32943-2_17急诊室-