自动验证和分析技术（ATVA）
第21届ATVA 2023：新加坡
埃蒂安·安德烈 
, 孙军（Jun Sun） :
验证和分析自动化技术——第21届国际研讨会，ATVA 2023，新加坡，2023年10月24日至27日，会议记录，第一部分。 计算机科学课堂讲稿 14215, 施普林格 2023 ，国际标准图书编号 978-3-031-45328-1 [目录] 埃蒂安·安德烈 , 孙军（Jun Sun） :
验证和分析自动化技术——第21届国际研讨会，ATVA 2023，新加坡，2023年10月24日至27日，会议记录，第二部分。 计算机科学课堂讲稿 14216, 施普林格 2023 ，国际标准图书编号 978-3-031-45331-1 [目录]
第20届ATVA 2022：虚拟活动
艾哈迈德·布瓦贾尼 , 卢卡斯·霍利克 , 吴志林 :
验证和分析自动化技术——第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25-28日，会议记录。 计算机科学课堂讲稿 13505, 施普林格 2022 ，国际标准图书编号 978-3-031-19991-2 [目录]
第19届ATVA 2021：澳大利亚昆士兰州黄金海岸
哲侯 , 维杰·加内什 :
自动化验证和分析技术-第19届国际研讨会，ATVA 2021，澳大利亚昆士兰州黄金海岸，2021年10月18日至22日，会议记录。 计算机科学课堂讲稿 12971, 施普林格 2021 ，国际标准图书编号 978-3-030-88884-8 [目录]
2020年第18届ATVA：越南河内
当文雄（Dang Van Hung） , 奥列格·索科尔斯基 :
验证和分析自动化技术——第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020，会议记录。 计算机科学课堂讲稿 12302, 施普林格 2020 ，国际标准图书编号 978-3-030-59151-9 [目录]
第17届ATVA 2019：台湾台北
陈玉芳 , Chih-Hong Cheng先生 , 哈维尔·埃斯帕尔扎 :
验证和分析自动化技术-第17届国际研讨会，ATVA 2019，台湾台北，2019年10月28日至31日，会议记录。 计算机科学课堂讲稿 11781, 施普林格 2019 ，国际标准图书编号 978-3-030-31783-6 [目录]
第16届ATVA 2018：美国加利福尼亚州洛杉矶
Shuvendu K.Lahiri公司 , 王超（Chao Wang） :
验证和分析自动化技术——第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018，会议记录。 计算机科学课堂讲稿 11138, 施普林格 2018 ，国际标准图书编号 978-3-030-01089-8 [目录]
2017年第15届ATVA：印度浦那
Deepak D'Souza公司 , K.Narayan Kumar :
验证和分析自动化技术——第15届国际研讨会，2017年10月3日至6日，印度浦那，ATVA 2017，会议记录。 计算机科学课堂讲稿 10482, 施普林格 2017 ，国际标准图书编号 978-3-319-68166-5 [目录]
2016年第14届ATVA：日本千叶
西里尔·阿瑟 , Axel Legay公司 , 多伦·贝利德 :
验证和分析自动化技术-第14届国际研讨会，ATVA 2016，日本千叶，2016年10月17日至20日，会议记录。 计算机科学课堂讲稿 9938, 2016 ，国际标准图书编号 978-3-319-46519-7 [目录]
第13届ATVA 2015：中国上海
伯恩德·芬克贝纳 , 葛光浦 , 张丽君 :
验证和分析自动化技术——第13届国际研讨会，2015年10月12日至15日，中国上海，ATVA，2015，会议记录。 计算机科学课堂讲稿 9364, 施普林格 2015 ，国际标准图书编号 978-3-319-24952-0 [目录]
2014年第12届ATVA：澳大利亚新南威尔士州悉尼
弗兰克·卡塞兹 , Jean-François Raskin女士 :
验证和分析自动化技术——第12届国际研讨会，ATVA 2014，澳大利亚新南威尔士州悉尼，2014年11月3-7日，会议记录。 计算机科学课堂讲稿 8837, 施普林格 2014 ，国际标准图书编号 978-3-319-11935-9 [目录]
2013年第11届ATVA：越南河内
当文雄（Dang Van Hung） , 小川瑞之 :
验证和分析自动化技术第11届国际研讨会，2013年10月15日至18日，越南河内，ATVA 2013。 诉讼程序。 计算机科学课堂讲稿 8172, 施普林格 2013 ，国际标准图书编号 978-3-319-02443-1 [目录]
2012年第10届ATVA：印度Thiruvananthapuram
Supratik Chakraborty公司 , 马达瓦恩·穆昆德 :
用于验证和分析的自动化技术——第十届国际研讨会，2012年10月3日至6日，印度Thiruvananthapuram，ATVA 2012。 诉讼程序。 计算机科学课堂讲稿 7561, 施普林格 2012 ，国际标准图书编号 978-3-642-33385-9 [目录]
第九届ATVA 2011：台湾台北
特维菲克·布尔坦 , 保安兴 :
验证和分析自动化技术，第九届国际研讨会，2011年10月11日至14日，台湾台北，ATVA 2011。 诉讼程序。 计算机科学课堂讲稿 6996, 施普林格 2011 ，国际标准图书编号 978-3-642-24371-4 [目录]
第八届ATVA 2010：新加坡
艾哈迈德·布阿贾尼 , 魏恩甘钦 :
验证和分析自动化技术-第八届国际研讨会，2010年亚洲电视协会，新加坡，2010年9月21日至24日。 诉讼程序。 计算机科学课堂讲稿 6252, 施普林格 2010 ，国际标准图书编号 978-3-642-15642-7 [目录]
第7届ATVA 2009：中国澳门
刘志明 , 安德斯·拉文 :
验证和分析自动化技术，第七届国际研讨会，2009年10月14日至16日，中国澳门，ATVA 2009。 诉讼程序。 计算机科学课堂讲稿 5799, 施普林格 2009 ，国际标准图书编号 978-3-642-04760-2 [目录]
第6届ATVA 2008：韩国首尔
宋德查 , 崔金英（Jin-Young Choi） , 蒙祖·金 , 因苏普·李 , 马赫什·维斯瓦纳坦 :
验证和分析自动化技术，第六届国际研讨会，2008年10月20日至23日，韩国首尔，ATVA 2008。 诉讼程序。 计算机科学课堂讲稿 5311, 施普林格 2008 ，国际标准图书编号 978-3-540-88386-9 [目录]
2007年第5届ATVA：日本东京
Kedar S.Namjoshi公司 , Yoneda智宏 , 东野太郎 , 冈村义雄 :
验证和分析自动化技术，第五届国际研讨会，2007年10月22日至25日，日本东京，ATVA 2007，会议记录。 计算机科学课堂讲稿 4762, 施普林格 2007 ，国际标准图书编号 978-3-540-75595-1 [目录]
第四届ATVA 2006：中国北京
苏珊·格拉芙 , 张文辉 :
用于验证和分析的自动化技术，第四届国际研讨会，2006年10月23日至26日，中国北京，ATVA 2006。 计算机科学课堂讲稿 4218, 施普林格 2006 ，国际标准图书编号 3-540-47237-1 [目录]
第三届ATVA 2005：台湾台北
多龙·A·贝利德 , Yih-Kuen Tsay先生 :
《自动化技术用于验证和分析》，第三届国际研讨会，ATVA 2005，台湾台北，2005年10月4日至7日，会议记录。 计算机科学课堂讲稿 3707, 施普林格 2005 ，国际标准图书编号 3-540-29209-8 [目录]
第二届ATVA 2004：台湾台北
Farn Wang公司 :
验证与分析自动化技术：第二届国际会议，2004年10月31日至11月3日，台湾台北，ATVA 2004。 诉讼程序。 计算机科学课堂讲稿 3299, 施普林格 2004 ，国际标准图书编号 3-540-23610-4 [目录]
