Peled, Doron A.

概要

作品:	0 作品在 0 項出版品 0 種語言

書目資訊

Time for verificationessays in memory of Amir Pnueli / by: Manna, Zohar.; Peled, Doron A.; SpringerLink (Online service) (書目-電子資源)

Automated Technology for Verification and Analysis :Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (1998 :); Peled, Doron A.; SpringerLink (Online service); Tsay, Yih-Kuen (書目-電子資源)

Model checking and artificial intelligence5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by: (1998 :); Peled, Doron A.; SpringerLink (Online service); Wooldridge, Michael J. (書目-電子資源)

Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (1998 :); Bensalem, Saddek.; Peled, Doron A.; SpringerLink (Online service) (書目-電子資源)

Verification, Model Checking, and Abstract Interpretation :9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / by: (1998 :); Logozzo, Francesco.; Peled, Doron A.; SpringerLink (Online service); Zuck, Lenore D. (書目-電子資源)

主題