語系
Caltais, Georgiana.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
International SPIN Workshop (2023 :); Caltais, Georgiana.; Schilling, Christian.; SpringerLink (Online service)
(書目-電子資源)