“Automata的实施和应用-第16届国际……”
贝特里斯·布乔·马尔霍夫 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 :
自动化的实施和应用——第16届国际会议,2011年7月13日至16日,法国布洛伊斯,CIAA 2011。 诉讼程序。 计算机科学课堂讲稿 6807, 施普林格 2011 ,国际标准图书编号 978-3-642-22255-9 [目录]
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)