Computer systems - Congresses. - Verification
概要
| 作品: | 11 作品在 10 項出版品 10 種語言 | |
|---|---|---|
書目資訊
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(書目-電子資源)
Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(書目-電子資源)
Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(書目-電子資源)
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題