Computer systems - Congresses. - Verification
概要
| 作品: | 6 作品在 3 項出版品 3 種語言 | |
|---|---|---|
書目資訊
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-電子資源)
主題