OpenAlex
Model Checking Kernel P Systems
Work