1. A graph‐labeling approach for efficient cone‐of‐influence computation in model‐checking problems with multiple properties. (11th March 2015) Authors: Cabodi, Gianpiero; Camurati, Paolo; Quer, Stefano Journal: Software, practice & experience Issue: Volume 46:Number 4(2016) Page Start: 493 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗