An integrated approach to P systems formal verification (Q3067494)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An integrated approach to P systems formal verification |
scientific article; zbMATH DE number 5839850
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An integrated approach to P systems formal verification |
scientific article; zbMATH DE number 5839850 |
Statements
An Integrated Approach to P Systems Formal Verification (English)
0 references
21 January 2011
0 references
0.8636470437049866
0 references
0.8474866151809692
0 references
0.8107076287269592
0 references
0.7856916785240173
0 references
0.7815235257148743
0 references