25 Years of model checking : history, achievements, perspectives - Grumberg, Orna; Veit, Helmut (New York : Springer, 2008)
Impreso en Alemania
Keywords: VERIFICACION DE CIRCUITOS INTEGRADOS -- HISTORIA -- ENSAYOS, CONFERENCIAS, ETC; ANALISIS DE SISTEMAS; INGENIERÍA DE SISTEMAS; ALGORITMOS (COMPUTADORAS) -- EVALUACION