Reachability Analysis in BioAmbients (Q5179433)
From MaRDI portal
scientific article; zbMATH DE number 6417445
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reachability Analysis in BioAmbients |
scientific article; zbMATH DE number 6417445 |
Statements
Reachability Analysis in BioAmbients (English)
0 references
19 March 2015
0 references
reachability analysis
0 references
target reachability
0 references
decidability
0 references
ambients
0 references
