25 Years of Model Checking : History, Achievements, Perspectives

Author：edited by Joachim von zur Gathen, Jose Luis Imana, Cetin Kaya Koc.
Publisher：Springer-Verlag Berlin Heidelberg
ISBN：9783540698500 (electronic bk.) ; 9783540698494 (paper)
Publication Date：2008
其他作者：Gathen, Joachim von zur. ; Imana, Jose L. ; Koc, Cetin K.
語言：zh
出版地：Berlin, Heidelberg :
Description

vi, 230 p. ::ill., digital ;:24 cm.

Search Same Author