Local model checking for infinite state spaces
scientific article; zbMATH DE number 55545