Fingerprint
Dive into the research topics of 'Exploring the KD45n property of a Kripke model after the execution of an action sequence'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Exploring the KD45n property of a Kripke model after the execution of an action sequence
Tran Cao Son, Enrico Pontelli, Chitta Barai, Gregory Gelfond
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6
Scopus
citations