Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings
著者
書誌事項
Formal modeling and analysis of timed systems : 19th international conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings
（Lecture notes in computer science, 12860 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）
Springer, c2021
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index
"This volume contains the papers presented at the 19th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2021), held virtually, and hosted by the Laboratoire d'Algorithmique, Complexité et Logique (LACL), Université Paris-Est Créteil, France, during August 24-26, 2021."--Pref
