Formal modeling and analysis of timed systems : 18th international conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings
著者
書誌事項
Formal modeling and analysis of timed systems : 18th international conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings
（Lecture notes in computer science, 12288 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）
Springer, c2020
大学図書館所蔵 全1件
注記
Includes bibliographical references and author index
"Early on, after many countries started shutting down most of public life as a reaction to the novel coronavirus, we decided that QONFEST 2020, and with it FORMATS, CONCUR, FMICS, and QEST, would not take place in Vienna but as a virtual event."-- Pref