Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/CTL*> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- CTL* abstract "CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.".
- CTL* wikiPageExternalLink 4904.4999.
- CTL* wikiPageExternalLink slide4.pdf.
- CTL* wikiPageID "6494256".
- CTL* wikiPageLength "7792".
- CTL* wikiPageOutDegree "32".
- CTL* wikiPageRevisionID "669286388".
- CTL* wikiPageWikiLink Alessandro_Artale.
- CTL* wikiPageWikiLink Amir_Pnueli.
- CTL* wikiPageWikiLink Atomic_formula.
- CTL* wikiPageWikiLink Boolean_algebra_(structure).
- CTL* wikiPageWikiLink Category:Logic_in_computer_science.
- CTL* wikiPageWikiLink Category:Temporal_logic.
- CTL* wikiPageWikiLink Computation_tree_logic.
- CTL* wikiPageWikiLink Computational_complexity_theory.
- CTL* wikiPageWikiLink Context-free_grammar.
- CTL* wikiPageWikiLink E._Allen_Emerson.
- CTL* wikiPageWikiLink Edmund_M._Clarke.
- CTL* wikiPageWikiLink First-order_logic.
- CTL* wikiPageWikiLink Formal_language.
- CTL* wikiPageWikiLink Free_University_of_Bozen-Bolzano.
- CTL* wikiPageWikiLink Joseph_Halpern.
- CTL* wikiPageWikiLink Kripke_structure_(model_checking).
- CTL* wikiPageWikiLink Linear_temporal_logic.
- CTL* wikiPageWikiLink Model_checking.
- CTL* wikiPageWikiLink PSPACE.
- CTL* wikiPageWikiLink Propositional_calculus.
- CTL* wikiPageWikiLink Reo_Coordination_Language.
- CTL* wikiPageWikiLink Temporal_logic.
- CTL* wikiPageWikiLink Well-formed_formula.
- CTL* wikiPageWikiLinkText "CTL*".
- CTL* wikiPageUsesTemplate Template:Citation_needed.
- CTL* subject Category:Logic_in_computer_science.
- CTL* subject Category:Temporal_logic.
- CTL* hypernym Superset.
- CTL* type Language.
- CTL* type ProgrammingLanguage.
- CTL* type Language.
- CTL* comment "CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.".
- CTL* label "CTL*".
- CTL* sameAs Q5014579.
- CTL* sameAs CTL*.
- CTL* sameAs CTL*.
- CTL* sameAs Logika_CTL*.
- CTL* sameAs m.0g7k34.
- CTL* sameAs Q5014579.
- CTL* wasDerivedFrom CTL*?oldid=669286388.
- CTL* isPrimaryTopicOf CTL*.