OpenAlex
An Integrated Model Checking Toolset for Kernel P Systems
Work