Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Maria_(reachability_analyzer)> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Maria_(reachability_analyzer) abstract "Maria: The Modular Reachability Analyzer is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism.".
- Maria_(reachability_analyzer) wikiPageExternalLink maria.
- Maria_(reachability_analyzer) wikiPageID "1481123".
- Maria_(reachability_analyzer) wikiPageLength "347".
- Maria_(reachability_analyzer) wikiPageOutDegree "4".
- Maria_(reachability_analyzer) wikiPageRevisionID "553347770".
- Maria_(reachability_analyzer) wikiPageWikiLink Algebraic_System_Net.
- Maria_(reachability_analyzer) wikiPageWikiLink Category:Petri_nets.
- Maria_(reachability_analyzer) wikiPageWikiLink Petri_net.
- Maria_(reachability_analyzer) wikiPageWikiLink Reachability.
- Maria_(reachability_analyzer) wikiPageWikiLinkText "Maria (reachability analyzer)".
- Maria_(reachability_analyzer) wikiPageUsesTemplate Template:Comp-sci-stub.
- Maria_(reachability_analyzer) wikiPageUsesTemplate Template:Notability.
- Maria_(reachability_analyzer) subject Category:Petri_nets.
- Maria_(reachability_analyzer) hypernym Analyzer.
- Maria_(reachability_analyzer) type Language.
- Maria_(reachability_analyzer) type Model.
- Maria_(reachability_analyzer) type Software.
- Maria_(reachability_analyzer) type Language.
- Maria_(reachability_analyzer) type Model.
- Maria_(reachability_analyzer) comment "Maria: The Modular Reachability Analyzer is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism.".
- Maria_(reachability_analyzer) label "Maria (reachability analyzer)".
- Maria_(reachability_analyzer) sameAs Q6760974.
- Maria_(reachability_analyzer) sameAs m.054wry.
- Maria_(reachability_analyzer) sameAs Q6760974.
- Maria_(reachability_analyzer) wasDerivedFrom Maria_(reachability_analyzer)?oldid=553347770.
- Maria_(reachability_analyzer) isPrimaryTopicOf Maria_(reachability_analyzer).