Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699955
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:52:36 PM
Last modification on : Saturday, February 3, 2018 - 1:11:57 AM

Links full text

Identifiers

Collections

Citation

Catalin Dima. Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.117--131, ⟨10.1007/978-3-642-02734-5_8⟩. ⟨hal-01699955⟩

Share

Metrics

Record views

17