An Integrated Model Checking Toolset for Kernel P Systems.
| Autor: | Gheorghe, Marian, Konur, Savas, Ipate, Florentin, Mierla, Laurentiu, Bakir, Mehmet E., Stannett, Mike |
|---|---|
| Zdroj: | Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers; 2015, p153-170, 18p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|