Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CTL*> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items 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* wikiPageRevisionID "596303847".
- CTL* hasPhotoCollection CTL*.
- CTL* subject Category:Logic_in_computer_science.
- CTL* subject Category:Temporal_logic.
- 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* label "Logika CTL*".
- CTL* sameAs CTL*.
- CTL* sameAs Logika_CTL*.
- CTL* sameAs m.0g7k34.
- CTL* sameAs Q5014579.
- CTL* sameAs Q5014579.
- CTL* wasDerivedFrom CTL*?oldid=596303847.
- CTL* isPrimaryTopicOf CTL*.