skip to main content
Lingue:

25 years of model checking : history, achievements, perspectives

GRUMBERG, Orna ; VEITH, Helmut

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2164664390003316()

Biblioteca Polo Scientifico e Tecnologico Area Scientifica 39USA_INST:2164664390003316 Disponibile

Ricerca in corso nelle risorse remote ...