Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Temporal_logic_of_actions> }
Showing triples 1 to 16 of
16
with 100 triples per page.
- TLA wikiPageDisambiguates Temporal_logic_of_actions.
- Temporal_Logic_of_Actions wikiPageRedirects Temporal_logic_of_actions.
- Concurrency_(computer_science) wikiPageWikiLink Temporal_logic_of_actions.
- Duration_calculus wikiPageWikiLink Temporal_logic_of_actions.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Temporal_logic_of_actions.
- Interval_temporal_logic wikiPageWikiLink Temporal_logic_of_actions.
- Leslie_Lamport wikiPageWikiLink Temporal_logic_of_actions.
- List_of_model_checking_tools wikiPageWikiLink Temporal_logic_of_actions.
- OpenComRTOS wikiPageWikiLink Temporal_logic_of_actions.
- Parallel_computing wikiPageWikiLink Temporal_logic_of_actions.
- TLA wikiPageWikiLink Temporal_logic_of_actions.
- TLA+ wikiPageWikiLink Temporal_logic_of_actions.
- Temporal_Logic_of_Actions wikiPageWikiLink Temporal_logic_of_actions.
- Temporal_logic wikiPageWikiLink Temporal_logic_of_actions.
- SRC-TN-1994-001.pdf isCitedBy Temporal_logic_of_actions.
- Temporal_logic_of_actions primaryTopic Temporal_logic_of_actions.