A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties - researchr publication

researchr

You are not signed in
Sign in
Sign up

Gianpiero Cabodi, Paolo Camurati, Stefano Quer. A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties. Software: Practice and Experience, 46(4):493-511, 2016. [doi]

Abstract is missing.

runs on WebDSL