語系
Etessami, Kousha.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
Rajamani, Sriram K.; Congress on Progress and Controversies in Oncological Urology (2000:); Etessami, Kousha.; SpringerLink (Online service)
(書目-電子資源)