A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
Cabodi, Gianpiero, Camurati, Paolo, Quer, StefanoLanguage:
english
Journal:
Software: Practice and Experience
DOI:
10.1002/spe.2321
Date:
March, 2015
File:
PDF, 1.68 MB
english, 2015