Pages that link to "Item:Q3076605"
From MaRDI portal
The following pages link to FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN (Q3076605):
Displaying 7 items.
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Alternative representations of P systems solutions to the graph colouring problem (Q2299885) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS (Q5404514) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)
