About: Constraint automaton

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Model_checking dbc:Automata_(computation) dbr:Probabilistic_automaton dbr:Computer_science dbr:Finite_automata dbr:Colored_Petri_net
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Automata_(computation)
gold:hypernym	dbr:Formalism
rdfs:label	Constraint automaton (en)
owl:sameAs	freebase:Constraint automaton wikidata:Constraint automaton dbpedia-global:Constraint automaton dbr:Constraint automaton
prov:wasDerivedFrom	wikipedia-en:Constraint_automaton?oldid=1286121901&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Constraint_automaton
is dbo:wikiPageRedirects of	dbr:Constraint_automata
is dbo:wikiPageWikiLink of	dbr:Constraint_automata
is foaf:primaryTopic of	wikipedia-en:Constraint_automaton

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