Bošnački, Dragan.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
SpringerLink (Online service); Bošnački, Dragan.; Wijs, Anton.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]