About: CoreASM

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://web.archive.org/web/20131110165351/http:/stl.sfu.ca/publications/CoreASM-TR-2006-09.pdf https://web.archive.org/web/20131110165433/http:/stl.sfu.ca/publications/CoreASM-ASM2005.pdf https://github.com/CoreASM/coreasm.core/wiki https://github.com/CoreASM/coreasm.core/wiki/Documentation http://www.eecs.umich.edu/gasm/ https://github.com/CoreASM
dbo:wikiPageWikiLink	dbc:Formal_methods_tools dbc:Software_using_the_Academic_Free_License dbr:Simon_Fraser_University dbr:GitHub dbr:Open_source dbr:Academic_Free_License dbc:Formal_specification_languages dbr:Abstract_State_Machines dbr:E._Börger
dbp:wikiPageUsesTemplate	dbt:ISBN
dct:subject	dbc:Formal_methods_tools dbc:Software_using_the_Academic_Free_License dbc:Formal_specification_languages
gold:hypernym	dbr:Project
rdfs:label	CoreASM (en)
owl:sameAs	yago-res:CoreASM freebase:CoreASM wikidata:CoreASM dbpedia-global:CoreASM dbr:CoreASM
prov:wasDerivedFrom	wikipedia-en:CoreASM?oldid=995226925&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:CoreASM
is dbo:wikiPageRedirects of	dbr:Coreasm
is dbo:wikiPageWikiLink of	dbr:Abstract_state_machine dbr:Coreasm
is foaf:primaryTopic of	wikipedia-en:CoreASM

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