Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation
From MaRDI portal
Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation
This page was built for dataset: Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation