Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems
Journal of Computer Science - United States
doi 10.3844/jcssp.2010.669.678
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2010
Authors
Unknown
Publisher
Science Publications