Model checking and boolean graphs
scientific article; zbMATH DE number 567724
scientific article