Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 2 of
2
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) 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.".