Book Chapter10.1007/978-3-642-32940-1_14

Quantified CTL: Expressiveness and Model Checking

Arnaud Da Costa,François Laroussinie,Nicolas Markey-2012-01-01-Lecture notes in computer science

17

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceModel checkingSemantics (computer science)HierarchyAtomic sentenceKripke structureExtension (predicate logic)Computation tree logic

Chat

Click to start Chat