About: Clock (model checking)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Mathematical object used to model time

Property	Value
dbo:description	mathematical object used to model time (en)
dbo:wikiPageWikiLink	dbr:Model_checking dbc:Model_checking dbr:Jitter dbr:First-order_logic dbc:Automata_(computation) dbr:Logical_conjunction dbr:Timed_automaton dbr:Computer_science dbr:Stopwatch dbr:Region_(model_checking) dbr:Zone_(convex_polytope) dbr:Difference_bound_matrix dbr:Signal_automaton dbr:Timed_propositional_temporal_logic dbr:Clock_temporal_logic dbr:UPPAAL
dbp:wikiPageUsesTemplate	dbt:R
dct:subject	dbc:Model_checking dbc:Automata_(computation)
rdfs:label	Clock (model checking) (en)
owl:sameAs	wikidata:Clock (model checking) dbpedia-global:Clock (model checking)
prov:wasDerivedFrom	wikipedia-en:Clock_(model_checking)?oldid=1214212156&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Clock_(model_checking)
is dbo:wikiPageWikiLink of	dbr:Timed_automaton dbr:Alternating_timed_automaton dbr:Region_(model_checking) dbr:Difference_bound_matrix dbr:Signal_automaton dbr:Timed_propositional_temporal_logic
is foaf:primaryTopic of	wikipedia-en:Clock_(model_checking)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International