Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Maria_(reachability_analyzer)> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items 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) wikiPageRevisionID "553347770".
- Maria_(reachability_analyzer) hasPhotoCollection Maria_(reachability_analyzer).
- Maria_(reachability_analyzer) subject Category:Petri_nets.
- Maria_(reachability_analyzer) type Artifact100021939.
- Maria_(reachability_analyzer) type ComputerNetwork103085333.
- Maria_(reachability_analyzer) type Instrumentality103575240.
- Maria_(reachability_analyzer) type Internet103580615.
- Maria_(reachability_analyzer) type Network103820728.
- Maria_(reachability_analyzer) type Object100002684.
- Maria_(reachability_analyzer) type PetriNets.
- Maria_(reachability_analyzer) type PhysicalEntity100001930.
- Maria_(reachability_analyzer) type System104377057.
- Maria_(reachability_analyzer) type Whole100003553.
- 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 m.054wry.
- Maria_(reachability_analyzer) sameAs Q6760974.
- Maria_(reachability_analyzer) sameAs Q6760974.
- Maria_(reachability_analyzer) sameAs Maria_(reachability_analyzer).
- Maria_(reachability_analyzer) wasDerivedFrom Maria_(reachability_analyzer)?oldid=553347770.
- Maria_(reachability_analyzer) isPrimaryTopicOf Maria_(reachability_analyzer).