Cite
HARVARD Citation
Cabodi, G. et al. (2016). A graph‐labeling approach for efficient cone‐of‐influence computation in model‐checking problems with multiple properties. Software, practice & experience. pp. 493-511. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Cabodi, G. et al. (2016). A graph‐labeling approach for efficient cone‐of‐influence computation in model‐checking problems with multiple properties. Software, practice & experience. pp. 493-511. [Online].