Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Kripke_structure_(model_checking)> }
Showing triples 1 to 21 of
21
with 100 triples per page.
- Saul_Kripke notableIdea Kripke_structure_(model_checking).
- Kripke_Structure wikiPageRedirects Kripke_structure_(model_checking).
- Kripke_structure wikiPageRedirects Kripke_structure_(model_checking).
- Kripke_structures wikiPageRedirects Kripke_structure_(model_checking).
- Büchi_automaton wikiPageWikiLink Kripke_structure_(model_checking).
- CTL* wikiPageWikiLink Kripke_structure_(model_checking).
- KeY wikiPageWikiLink Kripke_structure_(model_checking).
- Kripke_Structure wikiPageWikiLink Kripke_structure_(model_checking).
- Kripke_structure wikiPageWikiLink Kripke_structure_(model_checking).
- Kripke_structures wikiPageWikiLink Kripke_structure_(model_checking).
- Linear_temporal_logic wikiPageWikiLink Kripke_structure_(model_checking).
- List_of_terms_relating_to_algorithms_and_data_structures wikiPageWikiLink Kripke_structure_(model_checking).
- Saul_Kripke wikiPageWikiLink Kripke_structure_(model_checking).
- Temporal_logic wikiPageWikiLink Kripke_structure_(model_checking).
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Kripke_structure_(model_checking).
- Transition_system wikiPageWikiLink Kripke_structure_(model_checking).
- books?vid=ISBN978-0-262-02649-9 isCitedBy Kripke_structure_(model_checking).
- books?vid=ISBN978-3-540-00296-3 isCitedBy Kripke_structure_(model_checking).
- 901ec2ddbe333e35f7526ce96fc813b2f8a4ac05ed3f2a41e7269d7ad40e3325 isCitedBy Kripke_structure_(model_checking).
- Saul_Kripke notableIdeas Kripke_structure_(model_checking).
- Kripke_structure_(model_checking) primaryTopic Kripke_structure_(model_checking).