Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers

Author：edited by Ron van der Meyden, Jan-Georg Smaus.
Publisher：Springer Berlin Heidelberg
ISBN：9783642206740 (electronic bk.) ; 9783642206733 (paper)
Publication Date：2011
其他作者：Meyden, Ron van der. ; Smaus, Jan-Georg.
語言：zh
出版地：Berlin, Heidelberg :
Description

vii, 129 p. ::ill., digital ;:24 cm.

Search Same Author