非表示:
出版物名:
Tools and Algorithms for the Construction and Analysis of Systems
省略形
:
TACAS 2019
副タイトル
:
25th International Conference, TACAS 2019 ; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 ; Prague, Czech Republic, April 6-11, 2019 ; Proceedings, Part I
種別:
会議論文集
著者・編者:
所属:
出版社, 出版地:
New York, NY : Springer
ページ:
-
巻号:
-
通巻号:
-
開始・終了ページ:
192 - 210
識別子(ISBN, ISSN, DOIなど):
ISBN: 978-3-030-17461-3