Fingerprint
Dive into the research topics of 'On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
N. Alechina, N. Bulling, B. Logan, Hoan Nga Nguyen
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
16
Citations
(Scopus)