An Integrated Model Checking Toolset for Kernel P Systems
Attributed to:
ROADBLOCK: Towards Programmable Defensive Bacterial Coatings & Skins
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-28475-0_11
Publication URI: http://dx.doi.org/10.1007/978-3-319-28475-0_11
Type: Book Chapter
Book Title: Membrane Computing (2015)
Page Reference: 153-170