Local search in model checking

Dades bibliogràfiques
Autors principals: Roscoe, P, Pragyesh
Format: Journal article
Publicat: 2009