Pages that link to "Item:Q5404858"
From MaRDI portal
The following pages link to Programming P Systems with Complex Objects (Q5404858):
Displaying 5 items.
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Revising the Membrane Computing Model for Byzantine Agreement (Q2975922) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)