About: Difference bound matrix

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/X_incompatible.png?width=300
dbo:wikiPageExternalLink	https://moves.rwth-aachen.de/wp-content/uploads/WS1617/amc/amc16_lec20_reduced.pdf http://hal.archives-ouvertes.fr/docs/00/26/24/22/PDF/PeronHalbwachsVMCAI07.pdf%7Cdoi-access=free
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Floyd–Warshall_algorithm dbr:Tropical_semiring dbr:Integer dbr:Real_number dbc:Convex_geometry dbc:Geometric_data_structures dbr:Directed_graph dbr:Minkowski_addition dbr:Convex_polytope dbr:Data_structure dbr:Least-upper-bound_property dbr:Computer_science dbr:Module_(mathematics) dbr:Distributive_property dbr:Monoid dbr:Polytope dbc:Polytopes dbr:Total_order dbr:Region_(model_checking) dbr:Commutative dbr:Clock_(model_checking) dbr:Lexicographical_order dbr:Greatest-lower-bound_property dbr:File:Showing_x_1_less_than_3_and_4.png dbr:File:X(3_y)-3.png dbr:File:X_incompatible.png dbr:File:X_less_than_3,_x_less_than_y+3.png dbr:Rational dbr:Idempotent_semiring dbr:Associative dbr:Uppaal_model_checker
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Data_structures
dct:subject	dbc:Convex_geometry dbc:Geometric_data_structures dbc:Polytopes
rdfs:label	Difference bound matrix (en)
owl:sameAs	wikidata:Difference bound matrix dbpedia-global:Difference bound matrix dbr:Difference bound matrix
prov:wasDerivedFrom	wikipedia-en:Difference_bound_matrix?oldid=1219254749&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Showing_x_1_less_than_3_and_4.png wiki-commons:Special:FilePath/X(3_y)-3.png wiki-commons:Special:FilePath/X_incompatible.png wiki-commons:Special:FilePath/X_less_than_3,_x_less_than_y+3.png
foaf:isPrimaryTopicOf	wikipedia-en:Difference_bound_matrix
is dbo:wikiPageDisambiguates of	dbr:DBM
is dbo:wikiPageRedirects of	dbr:Zone_(convex_polytope)
is dbo:wikiPageWikiLink of	dbr:DBM dbr:Zone_(convex_polytope) dbr:Clock_(model_checking)
is foaf:primaryTopic of	wikipedia-en:Difference_bound_matrix