Jan Friso，格鲁特（编辑）;金·古德斯特兰·拉森（编辑） 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 （英语） Zbl 1471.68016号 计算机科学课堂讲稿12652.查姆：施普林格（ISBN 978-3-030-72012-4/pbk；978-3-0030-72013-1/电子书）。xxi，465页。(2021).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛J.F.Groote｝（编辑）和\textit｛K.G.Larsen｝（编辑），系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第二部分。查姆：斯普林格（2021；Zbl 1471.68016） 全文： 内政部 OA许可证
Jan Friso，格鲁特（编辑）;金·古德斯特兰·拉森（编辑） 用于构建和分析系统的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分。 （英语） Zbl 1466.68015号 计算机科学课堂讲稿12651.商会：施普林格出版社（ISBN 978-3-030-720155/pbk；978-3-030-72016/ebook）。xxi，467页。(2021).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}（编辑）和\textit{K.G.Larsen}（编），系统构建和分析的工具和算法。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格（2021；Zbl 1466.68015） 全文： 内政部 OA许可证